| author | Walther Neuper <walther.neuper@jku.at> |
| Fri, 31 Jul 2020 12:21:34 +0200 | |
| changeset 60040 | a05df90c0dee |
| parent 59866 | 3b194392ea71 |
| child 60078 | 38c22d92116a |
| permissions | -rwxr-xr-x |
1 rm *.sml~
2 rm *.sml~
3 rm *.sml~~
4 rm *.sml~~~
5 rm *.sml~~~~
6 rm *.sml~~~~~
7 rm *.sml~~~~~~
8 rm *.sml~~~~~~~
9 rm *.sml~~~~~~~~
10 rm *.sml~~~~~~~~~
11 rm *.sml~~~~~~~~~~
12 rm *.thy~
13 rm *.thy~
14 rm *.thy~~
15 rm *.thy~~~
16 rm *.thy~~~~
17 rm *.thy~~~~~
18 rm *.thy~~~~~~
19 rm *.thy~~~~~~~
20 rm *.thy~~~~~~~~
21 rm *.thy~~~~~~~~~
22 rm *.thy~~~~~~~~~~
23 rm *.tar*
24 rm *.orig
25 rm *.orig~
26 rm *.orig~~
27 rm *.orig~~~
28 cd ADDTESTS
29 rm *~
30 rm #*
31 rm .\#*
32 rm *.tar*
33 rm *.orig*
34 cd accumulate-val
35 rm *~
36 rm #*
37 rm .\#*
38 rm *.tar*
39 rm *.orig
40 rm *.orig~
41 rm *.orig~~
42 rm *.orig~~~
43 cd ..
44 cd course
45 rm *~
46 rm #*
47 rm .\#*
48 rm *.tar*
49 rm *.orig*
50 rm *.orig~
51 rm *.orig~~
52 rm *.orig~~~
53 cd ml_quickstart
54 rm *~
55 rm #*
56 rm .\#*
57 rm *.tar*
58 rm *.orig
59 rm *.orig~
60 rm *.orig~~
61 rm *.orig~~~
62 cd ..
63 cd phst11
64 rm *~
65 rm #*
66 rm .\#*
67 rm *.tar*
68 rm *.orig
69 rm *.orig~
70 rm *.orig~~
71 rm *.orig~~~
72 cd ..
73 cd SignalProcess
74 rm *~
75 rm #*
76 rm .\#*
77 rm *.tar*
78 rm *.orig
79 rm *.orig~
80 rm *.orig~~
81 rm *.orig~~~
82 cd ..
83 cd ..
84 cd file-depend
85 rm *~
86 rm #*
87 rm .\#*
88 rm *.tar*
89 rm *.orig*
90 cd ..
91 cd libisabelle
92 rm *~
93 rm #*
94 rm .\#*
95 rm *.tar*
96 rm *.orig
97 rm *.orig~
98 rm *.orig~~
99 rm *.orig~~~
100 cd ..
101 cd test-depend
102 rm *~
103 rm #*
104 rm .\#*
105 rm *.tar*
106 rm *.orig
107 rm *.orig~
108 rm *.orig~~
109 rm *.orig~~~
110 cd testdir1
111 rm *~
112 rm #*
113 rm .\#*
114 rm *.tar*
115 rm *.orig
116 rm *.orig~
117 rm *.orig~~
118 rm *.orig~~~
119 cd ..
120 cd testdirm
121 rm *~
122 rm #*
123 rm .\#*
124 rm *.tar*
125 rm *.orig
126 rm *.orig~
127 rm *.orig~~
128 rm *.orig~~~
129 cd ..
130 cd ..
131 cd ..
132 cd Pure
133 rm *~
134 rm #*
135 rm .\#*
136 rm *.tar*
137 rm *.orig
138 rm *.orig~
139 rm *.orig~~
140 rm *.orig~~~
141 cd Isar
142 rm *~
143 rm #*
144 rm .\#*
145 rm *.tar*
146 rm *.orig
147 rm *.orig~
148 rm *.orig~~
149 rm *.orig~~~
150 cd ..
151 cd ..
152 cd Minisubpbl
153 rm #*
154 rm .\#*
155 rm *.tar*
156 rm *.orig
157 rm *.orig~
158 rm *.orig~~
159 rm *.orig~~~
160 cd ..
161 cd OLDTESTS
162 rm #*
163 rm .\#*
164 rm *.tar*
165 rm *.orig
166 rm *.orig~
167 rm *.orig~~
168 rm *.orig~~~
169 cd ..
170 cd BaseDefinitions
171 echo "cd BaseDefinitions was successful ----------------------------------------------------------"
172 rm *.sml~
173 rm *.sml~
174 rm *.sml~~
175 rm *.sml~~~
176 rm *.sml~~~~
177 rm *.sml~~~~~
178 rm *.sml~~~~~~
179 rm *.sml~~~~~~~
180 rm *.sml~~~~~~~~
181 rm *.sml~~~~~~~~~
182 rm *.sml~~~~~~~~~~
183 rm *.thy~
184 rm *.thy~
185 rm *.thy~~
186 rm *.thy~~~
187 rm *.thy~~~~
188 rm *.thy~~~~~
189 rm *.thy~~~~~~
190 rm *.thy~~~~~~~
191 rm *.thy~~~~~~~~
192 rm *.thy~~~~~~~~~
193 rm *.thy~~~~~~~~~~
194 rm #*
195 rm .\#*
196 rm *.tar*
197 rm *.orig
198 rm *.orig~
199 rm *.orig~~
200 rm *.orig~~~
201 cd ..
202 cd ProgLang
203 echo "cd ProgLang was successful -------------------------------------------------------------"
204 rm *.sml~
205 rm *.sml~
206 rm *.sml~~
207 rm *.sml~~~
208 rm *.sml~~~~
209 rm *.sml~~~~~
210 rm *.sml~~~~~~
211 rm *.sml~~~~~~~
212 rm *.sml~~~~~~~~
213 rm *.sml~~~~~~~~~
214 rm *.sml~~~~~~~~~~
215 rm *.thy~
216 rm *.thy~
217 rm *.thy~~
218 rm *.thy~~~
219 rm *.thy~~~~
220 rm *.thy~~~~~
221 rm *.thy~~~~~~
222 rm *.thy~~~~~~~
223 rm *.thy~~~~~~~~
224 rm *.thy~~~~~~~~~
225 rm *.thy~~~~~~~~~~
226 rm #*
227 rm .\#*
228 rm *.tar*
229 rm *.orig
230 rm *.orig~
231 rm *.orig~~
232 rm *.orig~~~
233 cd ..
234 cd Minisubpbl
235 echo "cd Minisubpbl was successful ----------------------------------------------------------"
236 rm *.sml~
237 rm *.sml~
238 rm *.sml~~
239 rm *.sml~~~
240 rm *.sml~~~~
241 rm *.sml~~~~~
242 rm *.sml~~~~~~
243 rm *.sml~~~~~~~
244 rm *.sml~~~~~~~~
245 rm *.sml~~~~~~~~~
246 rm *.sml~~~~~~~~~~
247 rm *.thy~
248 rm *.thy~
249 rm *.thy~~
250 rm *.thy~~~
251 rm *.thy~~~~
252 rm *.thy~~~~~
253 rm *.thy~~~~~~
254 rm *.thy~~~~~~~
255 rm *.thy~~~~~~~~
256 rm *.thy~~~~~~~~~
257 rm *.thy~~~~~~~~~~
258 rm #*
259 rm .\#*
260 rm *.tar*
261 rm *.orig
262 rm *.orig~
263 rm *.orig~~
264 rm *.orig~~~
265 cd ..
266 cd MathEngBasic
267 echo "cd MathEngBasic was successful ---------------------------------------------------------"
268 rm *.sml~
269 rm *.sml~
270 rm *.sml~~
271 rm *.sml~~~
272 rm *.sml~~~~
273 rm *.sml~~~~~
274 rm *.sml~~~~~~
275 rm *.sml~~~~~~~
276 rm *.sml~~~~~~~~
277 rm *.sml~~~~~~~~~
278 rm *.sml~~~~~~~~~~
279 rm *.thy~
280 rm *.thy~
281 rm *.thy~~
282 rm *.thy~~~
283 rm *.thy~~~~
284 rm *.thy~~~~~
285 rm *.thy~~~~~~
286 rm *.thy~~~~~~~
287 rm *.thy~~~~~~~~
288 rm *.thy~~~~~~~~~
289 rm *.thy~~~~~~~~~~
290 rm #*
291 rm .\#*
292 rm *.tar*
293 rm *.orig
294 rm *.orig~
295 rm *.orig~~
296 rm *.orig~~~
297 cd ..
298 cd Specify
299 echo "cd Specify was successful --------------------------------------------------------------"
300 rm *.sml~
301 rm *.sml~
302 rm *.sml~~
303 rm *.sml~~~
304 rm *.sml~~~~
305 rm *.sml~~~~~
306 rm *.sml~~~~~~
307 rm *.sml~~~~~~~
308 rm *.sml~~~~~~~~
309 rm *.sml~~~~~~~~~
310 rm *.sml~~~~~~~~~~
311 rm *.thy~
312 rm *.thy~
313 rm *.thy~~
314 rm *.thy~~~
315 rm *.thy~~~~
316 rm *.thy~~~~~
317 rm *.thy~~~~~~
318 rm *.thy~~~~~~~
319 rm *.thy~~~~~~~~
320 rm *.thy~~~~~~~~~
321 rm *.thy~~~~~~~~~~
322 rm #*
323 rm *#~
324 rm .\#*
325 rm *.tar*
326 rm *.orig
327 rm *.orig~
328 rm *.orig~~
329 rm *.orig~~~
330 cd ..
331 cd Interpret
332 echo "cd Interpret was successful ------------------------------------------------------------"
333 rm *.sml~
334 rm *.sml~
335 rm *.sml~~
336 rm *.sml~~~
337 rm *.sml~~~~
338 rm *.sml~~~~~
339 rm *.sml~~~~~~
340 rm *.sml~~~~~~~
341 rm *.sml~~~~~~~~
342 rm *.sml~~~~~~~~~
343 rm *.sml~~~~~~~~~~
344 rm *.thy~
345 rm *.thy~
346 rm *.thy~~
347 rm *.thy~~~
348 rm *.thy~~~~
349 rm *.thy~~~~~
350 rm *.thy~~~~~~
351 rm *.thy~~~~~~~
352 rm *.thy~~~~~~~~
353 rm *.thy~~~~~~~~~
354 rm *.thy~~~~~~~~~~
355 rm #*
356 rm .\#*
357 rm *.tar*
358 rm *.orig
359 rm *.orig~
360 rm *.orig~~
361 rm *.orig~~~
362 cd ..
363 cd MathEngine
364 echo "cd MathEngine was successful -----------------------------------------------------------"
365 rm *.sml~
366 rm *.sml~
367 rm *.sml~~
368 rm *.sml~~~
369 rm *.sml~~~~
370 rm *.sml~~~~~
371 rm *.sml~~~~~~
372 rm *.sml~~~~~~~
373 rm *.sml~~~~~~~~
374 rm *.sml~~~~~~~~~
375 rm *.sml~~~~~~~~~~
376 rm *.thy~
377 rm *.thy~
378 rm *.thy~~
379 rm *.thy~~~
380 rm *.thy~~~~
381 rm *.thy~~~~~
382 rm *.thy~~~~~~
383 rm *.thy~~~~~~~
384 rm *.thy~~~~~~~~
385 rm *.thy~~~~~~~~~
386 rm *.thy~~~~~~~~~~
387 rm #*
388 rm #*~
389 rm .\#*
390 rm *.tar*
391 rm *.orig
392 rm *.orig~
393 rm *.orig~~
394 rm *.orig~~~
395 cd ..
396 cd BridgeLibisabelle
397 echo "cd BridgeLibisabelle was successful ----------------------------------------------------"
398 rm *.sml~
399 rm *.sml~
400 rm *.sml~~
401 rm *.sml~~~
402 rm *.sml~~~~
403 rm *.sml~~~~~
404 rm *.sml~~~~~~
405 rm *.sml~~~~~~~
406 rm *.sml~~~~~~~~
407 rm *.sml~~~~~~~~~
408 rm *.sml~~~~~~~~~~
409 rm *.thy~
410 rm *.thy~
411 rm *.thy~~
412 rm *.thy~~~
413 rm *.thy~~~~
414 rm *.thy~~~~~
415 rm *.thy~~~~~~
416 rm *.thy~~~~~~~
417 rm *.thy~~~~~~~~
418 rm *.thy~~~~~~~~~
419 rm *.thy~~~~~~~~~~
420 rm #*
421 rm .\#*
422 rm *.tar*
423 rm *.orig
424 rm *.orig~
425 rm *.orig~~
426 rm *.orig~~~
427 cd ..
428 cd Knowledge
429 echo "cd Knowledge was successful -----------------------------------------------------------"
430 rm *.sml~
431 rm *.sml~
432 rm *.sml~~
433 rm *.sml~~~
434 rm *.sml~~~~
435 rm *.sml~~~~~
436 rm *.sml~~~~~~
437 rm *.sml~~~~~~~
438 rm *.sml~~~~~~~~
439 rm *.sml~~~~~~~~~
440 rm *.sml~~~~~~~~~~
441 rm *.thy~
442 rm *.thy~
443 rm *.thy~~
444 rm *.thy~~~
445 rm *.thy~~~~
446 rm *.thy~~~~~
447 rm *.thy~~~~~~
448 rm *.thy~~~~~~~
449 rm *.thy~~~~~~~~
450 rm *.thy~~~~~~~~~
451 rm *.thy~~~~~~~~~~
452 rm #*
453 rm .\#*
454 rm *.tar*
455 rm *.orig*
456 cd Inverse_Z_Transform
457 rm *~
458 rm #*
459 rm .\#*
460 rm *.tar*
461 rm *.orig*
462 cd ..
463 cd ..