author | Walther Neuper <walther.neuper@jku.at> |
Wed, 11 Mar 2020 15:25:52 +0100 | |
changeset 59827 | 168abe8dd1e3 |
parent 59691 | 53c60fa9c41c |
child 59866 | 3b194392ea71 |
permissions | -rwxr-xr-x |
wneuper@59416 | 1 |
rm *.sml~ |
wneuper@59416 | 2 |
rm *.sml~ |
wneuper@59416 | 3 |
rm *.sml~~ |
wneuper@59416 | 4 |
rm *.sml~~~ |
wneuper@59416 | 5 |
rm *.sml~~~~ |
wneuper@59416 | 6 |
rm *.sml~~~~~ |
wneuper@59416 | 7 |
rm *.sml~~~~~~ |
wneuper@59416 | 8 |
rm *.sml~~~~~~~ |
wneuper@59416 | 9 |
rm *.sml~~~~~~~~ |
wneuper@59416 | 10 |
rm *.sml~~~~~~~~~ |
wneuper@59416 | 11 |
rm *.sml~~~~~~~~~~ |
wneuper@59416 | 12 |
rm *.thy~ |
wneuper@59416 | 13 |
rm *.thy~ |
wneuper@59416 | 14 |
rm *.thy~~ |
wneuper@59416 | 15 |
rm *.thy~~~ |
wneuper@59416 | 16 |
rm *.thy~~~~ |
wneuper@59416 | 17 |
rm *.thy~~~~~ |
wneuper@59416 | 18 |
rm *.thy~~~~~~ |
wneuper@59416 | 19 |
rm *.thy~~~~~~~ |
wneuper@59416 | 20 |
rm *.thy~~~~~~~~ |
wneuper@59416 | 21 |
rm *.thy~~~~~~~~~ |
wneuper@59416 | 22 |
rm *.thy~~~~~~~~~~ |
neuper@37906 | 23 |
rm *.tar* |
neuper@37967 | 24 |
rm *.orig |
walther@59603 | 25 |
rm *.orig~ |
walther@59691 | 26 |
rm *.orig~~ |
walther@59691 | 27 |
rm *.orig~~~ |
wneuper@59588 | 28 |
cd CalcElements |
walther@59691 | 29 |
echo "cd CalcElements was successful ----------------------------------------------------------" |
wneuper@59588 | 30 |
rm *.sml~ |
wneuper@59588 | 31 |
rm *.sml~ |
wneuper@59588 | 32 |
rm *.sml~~ |
wneuper@59588 | 33 |
rm *.sml~~~ |
wneuper@59588 | 34 |
rm *.sml~~~~ |
wneuper@59588 | 35 |
rm *.sml~~~~~ |
wneuper@59588 | 36 |
rm *.sml~~~~~~ |
wneuper@59588 | 37 |
rm *.sml~~~~~~~ |
wneuper@59588 | 38 |
rm *.sml~~~~~~~~ |
wneuper@59588 | 39 |
rm *.sml~~~~~~~~~ |
wneuper@59588 | 40 |
rm *.sml~~~~~~~~~~ |
wneuper@59588 | 41 |
rm *.thy~ |
wneuper@59588 | 42 |
rm *.thy~ |
wneuper@59588 | 43 |
rm *.thy~~ |
wneuper@59588 | 44 |
rm *.thy~~~ |
wneuper@59588 | 45 |
rm *.thy~~~~ |
wneuper@59588 | 46 |
rm *.thy~~~~~ |
wneuper@59588 | 47 |
rm *.thy~~~~~~ |
wneuper@59588 | 48 |
rm *.thy~~~~~~~ |
wneuper@59588 | 49 |
rm *.thy~~~~~~~~ |
wneuper@59588 | 50 |
rm *.thy~~~~~~~~~ |
wneuper@59588 | 51 |
rm *.thy~~~~~~~~~~ |
walther@59675 | 52 |
rm #* |
walther@59675 | 53 |
rm .\#* |
walther@59675 | 54 |
rm *.tar* |
walther@59675 | 55 |
rm *.orig |
walther@59603 | 56 |
rm *.orig~ |
walther@59691 | 57 |
rm *.orig~~ |
walther@59691 | 58 |
rm *.orig~~~ |
wneuper@59588 | 59 |
cd .. |
walther@59827 | 60 |
cd Doc |
walther@59827 | 61 |
rm *~ |
walther@59827 | 62 |
cd Lucas_Interpreter |
walther@59827 | 63 |
rm *~ |
walther@59827 | 64 |
cd document |
walther@59827 | 65 |
rm *~ |
walther@59827 | 66 |
cd .. |
walther@59827 | 67 |
cd output |
walther@59827 | 68 |
rm * |
walther@59827 | 69 |
rm -rf document/ |
walther@59827 | 70 |
cd .. |
walther@59827 | 71 |
cd .. |
walther@59827 | 72 |
cd .. |
walther@59675 | 73 |
cd ProgLang |
walther@59691 | 74 |
echo "cd ProgLang was successful -------------------------------------------------------------" |
walther@59691 | 75 |
rm *.sml~ |
walther@59691 | 76 |
rm *.sml~ |
walther@59691 | 77 |
rm *.sml~~ |
walther@59691 | 78 |
rm *.sml~~~ |
walther@59691 | 79 |
rm *.sml~~~~ |
walther@59691 | 80 |
rm *.sml~~~~~ |
walther@59691 | 81 |
rm *.sml~~~~~~ |
walther@59691 | 82 |
rm *.sml~~~~~~~ |
walther@59691 | 83 |
rm *.sml~~~~~~~~ |
walther@59691 | 84 |
rm *.sml~~~~~~~~~ |
walther@59691 | 85 |
rm *.sml~~~~~~~~~~ |
walther@59691 | 86 |
rm *.thy~ |
walther@59691 | 87 |
rm *.thy~ |
walther@59691 | 88 |
rm *.thy~~ |
walther@59691 | 89 |
rm *.thy~~~ |
walther@59691 | 90 |
rm *.thy~~~~ |
walther@59691 | 91 |
rm *.thy~~~~~ |
walther@59691 | 92 |
rm *.thy~~~~~~ |
walther@59691 | 93 |
rm *.thy~~~~~~~ |
walther@59691 | 94 |
rm *.thy~~~~~~~~ |
walther@59691 | 95 |
rm *.thy~~~~~~~~~ |
walther@59691 | 96 |
rm *.thy~~~~~~~~~~ |
walther@59691 | 97 |
rm #* |
walther@59691 | 98 |
rm .\#* |
walther@59691 | 99 |
rm *.tar* |
walther@59691 | 100 |
rm *.orig |
walther@59691 | 101 |
rm *.orig~ |
walther@59691 | 102 |
rm *.orig~~ |
walther@59691 | 103 |
rm *.orig~~~ |
walther@59691 | 104 |
cd .. |
walther@59691 | 105 |
cd MathEngBasic |
walther@59691 | 106 |
echo "cd MathEngBasic was successful ---------------------------------------------------------" |
wneuper@59595 | 107 |
rm *.sml~ |
wneuper@59595 | 108 |
rm *.sml~ |
wneuper@59595 | 109 |
rm *.sml~~ |
wneuper@59595 | 110 |
rm *.sml~~~ |
wneuper@59595 | 111 |
rm *.sml~~~~ |
wneuper@59595 | 112 |
rm *.sml~~~~~ |
wneuper@59595 | 113 |
rm *.sml~~~~~~ |
wneuper@59595 | 114 |
rm *.sml~~~~~~~ |
wneuper@59595 | 115 |
rm *.sml~~~~~~~~ |
wneuper@59595 | 116 |
rm *.sml~~~~~~~~~ |
wneuper@59595 | 117 |
rm *.sml~~~~~~~~~~ |
wneuper@59595 | 118 |
rm *.thy~ |
wneuper@59595 | 119 |
rm *.thy~ |
wneuper@59595 | 120 |
rm *.thy~~ |
wneuper@59595 | 121 |
rm *.thy~~~ |
wneuper@59595 | 122 |
rm *.thy~~~~ |
wneuper@59595 | 123 |
rm *.thy~~~~~ |
wneuper@59595 | 124 |
rm *.thy~~~~~~ |
wneuper@59595 | 125 |
rm *.thy~~~~~~~ |
wneuper@59595 | 126 |
rm *.thy~~~~~~~~ |
wneuper@59595 | 127 |
rm *.thy~~~~~~~~~ |
wneuper@59595 | 128 |
rm *.thy~~~~~~~~~~ |
walther@59675 | 129 |
rm #* |
walther@59675 | 130 |
rm .\#* |
walther@59675 | 131 |
rm *.tar* |
walther@59675 | 132 |
rm *.orig |
walther@59603 | 133 |
rm *.orig~ |
walther@59691 | 134 |
rm *.orig~~ |
walther@59691 | 135 |
rm *.orig~~~ |
wneuper@59377 | 136 |
cd .. |
walther@59675 | 137 |
cd Specify |
walther@59691 | 138 |
echo "cd Specify was successful --------------------------------------------------------------" |
wneuper@59416 | 139 |
rm *.sml~ |
wneuper@59416 | 140 |
rm *.sml~ |
wneuper@59416 | 141 |
rm *.sml~~ |
wneuper@59416 | 142 |
rm *.sml~~~ |
wneuper@59416 | 143 |
rm *.sml~~~~ |
wneuper@59416 | 144 |
rm *.sml~~~~~ |
wneuper@59416 | 145 |
rm *.sml~~~~~~ |
wneuper@59416 | 146 |
rm *.sml~~~~~~~ |
wneuper@59416 | 147 |
rm *.sml~~~~~~~~ |
wneuper@59416 | 148 |
rm *.sml~~~~~~~~~ |
wneuper@59416 | 149 |
rm *.sml~~~~~~~~~~ |
wneuper@59416 | 150 |
rm *.thy~ |
wneuper@59416 | 151 |
rm *.thy~ |
wneuper@59416 | 152 |
rm *.thy~~ |
wneuper@59416 | 153 |
rm *.thy~~~ |
wneuper@59416 | 154 |
rm *.thy~~~~ |
wneuper@59416 | 155 |
rm *.thy~~~~~ |
wneuper@59416 | 156 |
rm *.thy~~~~~~ |
wneuper@59416 | 157 |
rm *.thy~~~~~~~ |
wneuper@59416 | 158 |
rm *.thy~~~~~~~~ |
wneuper@59416 | 159 |
rm *.thy~~~~~~~~~ |
wneuper@59416 | 160 |
rm *.thy~~~~~~~~~~ |
walther@59675 | 161 |
rm #* |
walther@59675 | 162 |
rm *#~ |
walther@59675 | 163 |
rm .\#* |
walther@59675 | 164 |
rm *.tar* |
walther@59675 | 165 |
rm *.orig |
walther@59603 | 166 |
rm *.orig~ |
walther@59691 | 167 |
rm *.orig~~ |
walther@59691 | 168 |
rm *.orig~~~ |
wneuper@59377 | 169 |
cd .. |
walther@59675 | 170 |
cd Interpret |
walther@59691 | 171 |
echo "cd Interpret was successful ------------------------------------------------------------" |
wneuper@59416 | 172 |
rm *.sml~ |
wneuper@59416 | 173 |
rm *.sml~ |
wneuper@59416 | 174 |
rm *.sml~~ |
wneuper@59416 | 175 |
rm *.sml~~~ |
wneuper@59416 | 176 |
rm *.sml~~~~ |
wneuper@59416 | 177 |
rm *.sml~~~~~ |
wneuper@59416 | 178 |
rm *.sml~~~~~~ |
wneuper@59416 | 179 |
rm *.sml~~~~~~~ |
wneuper@59416 | 180 |
rm *.sml~~~~~~~~ |
wneuper@59416 | 181 |
rm *.sml~~~~~~~~~ |
wneuper@59416 | 182 |
rm *.sml~~~~~~~~~~ |
wneuper@59416 | 183 |
rm *.thy~ |
wneuper@59416 | 184 |
rm *.thy~ |
wneuper@59416 | 185 |
rm *.thy~~ |
wneuper@59416 | 186 |
rm *.thy~~~ |
wneuper@59416 | 187 |
rm *.thy~~~~ |
wneuper@59416 | 188 |
rm *.thy~~~~~ |
wneuper@59416 | 189 |
rm *.thy~~~~~~ |
wneuper@59416 | 190 |
rm *.thy~~~~~~~ |
wneuper@59416 | 191 |
rm *.thy~~~~~~~~ |
wneuper@59416 | 192 |
rm *.thy~~~~~~~~~ |
wneuper@59416 | 193 |
rm *.thy~~~~~~~~~~ |
walther@59675 | 194 |
rm #* |
walther@59675 | 195 |
rm .\#* |
walther@59675 | 196 |
rm *.tar* |
walther@59675 | 197 |
rm *.orig |
walther@59603 | 198 |
rm *.orig~ |
walther@59691 | 199 |
rm *.orig~~ |
walther@59691 | 200 |
rm *.orig~~~ |
wneuper@59377 | 201 |
cd .. |
walther@59675 | 202 |
cd MathEngine |
walther@59691 | 203 |
echo "cd MathEngine was successful -----------------------------------------------------------" |
wneuper@59416 | 204 |
rm *.sml~ |
wneuper@59416 | 205 |
rm *.sml~ |
wneuper@59416 | 206 |
rm *.sml~~ |
wneuper@59416 | 207 |
rm *.sml~~~ |
wneuper@59416 | 208 |
rm *.sml~~~~ |
wneuper@59416 | 209 |
rm *.sml~~~~~ |
wneuper@59416 | 210 |
rm *.sml~~~~~~ |
wneuper@59416 | 211 |
rm *.sml~~~~~~~ |
wneuper@59416 | 212 |
rm *.sml~~~~~~~~ |
wneuper@59416 | 213 |
rm *.sml~~~~~~~~~ |
wneuper@59416 | 214 |
rm *.sml~~~~~~~~~~ |
wneuper@59416 | 215 |
rm *.thy~ |
wneuper@59416 | 216 |
rm *.thy~ |
wneuper@59416 | 217 |
rm *.thy~~ |
wneuper@59416 | 218 |
rm *.thy~~~ |
wneuper@59416 | 219 |
rm *.thy~~~~ |
wneuper@59416 | 220 |
rm *.thy~~~~~ |
wneuper@59416 | 221 |
rm *.thy~~~~~~ |
wneuper@59416 | 222 |
rm *.thy~~~~~~~ |
wneuper@59416 | 223 |
rm *.thy~~~~~~~~ |
wneuper@59416 | 224 |
rm *.thy~~~~~~~~~ |
wneuper@59416 | 225 |
rm *.thy~~~~~~~~~~ |
walther@59675 | 226 |
rm #* |
walther@59675 | 227 |
rm #*~ |
walther@59675 | 228 |
rm .\#* |
walther@59675 | 229 |
rm *.tar* |
walther@59675 | 230 |
rm *.orig |
walther@59603 | 231 |
rm *.orig~ |
walther@59691 | 232 |
rm *.orig~~ |
walther@59691 | 233 |
rm *.orig~~~ |
wneuper@59377 | 234 |
cd .. |
walther@59675 | 235 |
cd BridgeLibisabelle |
walther@59691 | 236 |
echo "cd BridgeLibisabelle was successful ----------------------------------------------------" |
wneuper@59416 | 237 |
rm *.sml~ |
wneuper@59416 | 238 |
rm *.sml~ |
wneuper@59416 | 239 |
rm *.sml~~ |
wneuper@59416 | 240 |
rm *.sml~~~ |
wneuper@59416 | 241 |
rm *.sml~~~~ |
wneuper@59416 | 242 |
rm *.sml~~~~~ |
wneuper@59416 | 243 |
rm *.sml~~~~~~ |
wneuper@59416 | 244 |
rm *.sml~~~~~~~ |
wneuper@59416 | 245 |
rm *.sml~~~~~~~~ |
wneuper@59416 | 246 |
rm *.sml~~~~~~~~~ |
wneuper@59416 | 247 |
rm *.sml~~~~~~~~~~ |
wneuper@59416 | 248 |
rm *.thy~ |
wneuper@59416 | 249 |
rm *.thy~ |
wneuper@59416 | 250 |
rm *.thy~~ |
wneuper@59416 | 251 |
rm *.thy~~~ |
wneuper@59416 | 252 |
rm *.thy~~~~ |
wneuper@59416 | 253 |
rm *.thy~~~~~ |
wneuper@59416 | 254 |
rm *.thy~~~~~~ |
wneuper@59416 | 255 |
rm *.thy~~~~~~~ |
wneuper@59416 | 256 |
rm *.thy~~~~~~~~ |
wneuper@59416 | 257 |
rm *.thy~~~~~~~~~ |
wneuper@59416 | 258 |
rm *.thy~~~~~~~~~~ |
walther@59675 | 259 |
rm #* |
walther@59675 | 260 |
rm .\#* |
walther@59675 | 261 |
rm *.tar* |
walther@59675 | 262 |
rm *.orig |
walther@59675 | 263 |
rm *.orig~ |
walther@59691 | 264 |
rm *.orig~~ |
walther@59691 | 265 |
rm *.orig~~~ |
walther@59675 | 266 |
cd .. |
walther@59675 | 267 |
cd Knowledge |
walther@59691 | 268 |
echo "cd Knowledge was successful -----------------------------------------------------------" |
walther@59675 | 269 |
rm *.sml~ |
walther@59675 | 270 |
rm *.sml~ |
walther@59675 | 271 |
rm *.sml~~ |
walther@59675 | 272 |
rm *.sml~~~ |
walther@59675 | 273 |
rm *.sml~~~~ |
walther@59675 | 274 |
rm *.sml~~~~~ |
walther@59675 | 275 |
rm *.sml~~~~~~ |
walther@59675 | 276 |
rm *.sml~~~~~~~ |
walther@59675 | 277 |
rm *.sml~~~~~~~~ |
walther@59675 | 278 |
rm *.sml~~~~~~~~~ |
walther@59675 | 279 |
rm *.sml~~~~~~~~~~ |
walther@59675 | 280 |
rm *.thy~ |
walther@59675 | 281 |
rm *.thy~ |
walther@59675 | 282 |
rm *.thy~~ |
walther@59675 | 283 |
rm *.thy~~~ |
walther@59675 | 284 |
rm *.thy~~~~ |
walther@59675 | 285 |
rm *.thy~~~~~ |
walther@59675 | 286 |
rm *.thy~~~~~~ |
walther@59675 | 287 |
rm *.thy~~~~~~~ |
walther@59675 | 288 |
rm *.thy~~~~~~~~ |
walther@59675 | 289 |
rm *.thy~~~~~~~~~ |
walther@59675 | 290 |
rm *.thy~~~~~~~~~~ |
walther@59675 | 291 |
rm #* |
walther@59675 | 292 |
rm .\#* |
walther@59675 | 293 |
rm *.tar* |
walther@59675 | 294 |
rm *.orig |
walther@59603 | 295 |
rm *.orig~ |
walther@59691 | 296 |
rm *.orig~~ |
walther@59691 | 297 |
rm *.orig~~~ |
wneuper@59377 | 298 |
cd .. |