author | wneuper <Walther.Neuper@jku.at> |
Thu, 04 Aug 2022 12:48:37 +0200 | |
changeset 60509 | 2e0b7ca391dc |
parent 60178 | c224a76494ba |
child 60561 | b6ab5b15cb52 |
permissions | -rwxr-xr-x |
1 rm *.sml~
2 rm *.sml~
3 rm *.sml~~
4 rm *.sml~~~
5 rm *.thy~
6 rm *.thy~
7 rm *.thy~~
8 rm *.thy~~~
9 rm *.tar*
10 rm *.orig
11 rm *.orig~
12 rm *.orig~~
13 rm *.orig~~~
14 cd ADDTESTS
15 echo "cd ADDTESTS was successful -----------------------------------------------------"
16 rm *~
17 rm #*
18 rm .\#*
19 rm *.tar*
20 rm *.orig*
21 cd accumulate-val
22 echo "cd accumulate-val was successful -----------------------------------------------------"
23 rm *~
24 rm #*
25 rm .\#*
26 rm *.tar*
27 rm *.orig
28 rm *.orig~
29 rm *.orig~~
30 rm *.orig~~~
31 cd ..
32 cd course
33 echo "cd course was successful -----------------------------------------------------"
34 rm *~
35 rm #*
36 rm .\#*
37 rm *.tar*
38 rm *.orig*
39 rm *.orig~
40 rm *.orig~~
41 rm *.orig~~~
42 cd ml_quickstart
43 echo "cd ml_quickstart was successful -----------------------------------------------------"
44 rm *~
45 rm #*
46 rm .\#*
47 rm *.tar*
48 rm *.orig
49 rm *.orig~
50 rm *.orig~~
51 rm *.orig~~~
52 cd ..
53 cd phst11
54 echo "cd phst11 was successful -----------------------------------------------------"
55 rm *~
56 rm #*
57 rm .\#*
58 rm *.tar*
59 rm *.orig
60 rm *.orig~
61 rm *.orig~~
62 rm *.orig~~~
63 cd ..
64 cd SignalProcess
65 echo "cd SignalProcess was successful -----------------------------------------------------"
66 rm *~
67 rm #*
68 rm .\#*
69 rm *.tar*
70 rm *.orig
71 rm *.orig~
72 rm *.orig~~
73 rm *.orig~~~
74 cd ..
75 cd ..
76 cd file-depend
77 echo "cd file-depend was successful -----------------------------------------------------"
78 rm *~
79 rm #*
80 rm .\#*
81 rm *.tar*
82 rm *.orig*
83 cd ..
84 cd libisabelle
85 echo "cd libisabelle was successful -----------------------------------------------------"
86 rm *~
87 rm #*
88 rm .\#*
89 rm *.tar*
90 rm *.orig
91 rm *.orig~
92 rm *.orig~~
93 rm *.orig~~~
94 cd ..
95 cd test-depend
96 echo "cd test-depend was successful -----------------------------------------------------"
97 rm *~
98 rm #*
99 rm .\#*
100 rm *.tar*
101 rm *.orig
102 rm *.orig~
103 rm *.orig~~
104 rm *.orig~~~
105 cd testdir1
106 echo "cd testdir1 was successful -----------------------------------------------------"
107 rm *~
108 rm #*
109 rm .\#*
110 rm *.tar*
111 rm *.orig
112 rm *.orig~
113 rm *.orig~~
114 rm *.orig~~~
115 cd ..
116 cd testdirm
117 echo "cd testdirm was successful -----------------------------------------------------"
118 rm *~
119 rm #*
120 rm .\#*
121 rm *.tar*
122 rm *.orig
123 rm *.orig~
124 rm *.orig~~
125 rm *.orig~~~
126 cd ..
127 cd ..
128 cd ..
129 cd Pure
130 echo "cd Pure was successful -----------------------------------------------------"
131 rm *~
132 rm #*
133 rm .\#*
134 rm *.tar*
135 rm *.orig
136 rm *.orig~
137 rm *.orig~~
138 rm *.orig~~~
139 cd Isar
140 echo "cd Isar was successful -----------------------------------------------------"
141 rm *~
142 rm #*
143 rm .\#*
144 rm *.tar*
145 rm *.orig
146 rm *.orig~
147 rm *.orig~~
148 rm *.orig~~~
149 cd ..
150 cd ..
151 cd Minisubpbl
152 echo "cd Minisubpbl was successful -----------------------------------------------------"
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 echo "cd OLDTESTS was successful -----------------------------------------------------"
163 rm #*
164 rm .\#*
165 rm *.tar*
166 rm *.orig
167 rm *.orig~
168 rm *.orig~~
169 rm *.orig~~~
170 cd ..
171 cd BaseDefinitions
172 echo "cd BaseDefinitions was successful -----------------------------------------------------"
173 rm *.sml~
174 rm *.sml~
175 rm *.sml~~
176 rm *.sml~~~
177 rm *.thy~
178 rm *.thy~
179 rm *.thy~~
180 rm *.thy~~~
181 rm #*
182 rm .\#*
183 rm *.tar*
184 rm *.orig
185 rm *.orig~
186 rm *.orig~~
187 rm *.orig~~~
188 cd ..
189 cd BridgeJEdit
190 echo "cd BridgeJEdit was successful -----------------------------------------------------"
191 rm *.sml~
192 rm *.sml~
193 rm *.sml~~
194 rm *.sml~~~
195 rm *.thy~
196 rm *.thy~
197 rm *.thy~~
198 rm *.thy~~~
199 rm #*
200 rm .\#*
201 rm *.tar*
202 rm *.orig
203 rm *.orig~
204 rm *.orig~~
205 rm *.orig~~~
206 cd ..
207 cd ProgLang
208 echo "cd ProgLang was successful -------------------------------------------------------------"
209 rm *.sml~
210 rm *.sml~
211 rm *.sml~~
212 rm *.sml~~~
213 rm *.thy~
214 rm *.thy~
215 rm *.thy~~
216 rm *.thy~~~
217 rm #*
218 rm .\#*
219 rm *.tar*
220 rm *.orig
221 rm *.orig~
222 rm *.orig~~
223 rm *.orig~~~
224 cd ..
225 cd Minisubpbl
226 echo "cd Minisubpbl was successful ----------------------------------------------------------"
227 rm *.sml~
228 rm *.sml~
229 rm *.sml~~
230 rm *.sml~~~
231 rm *.thy~
232 rm *.thy~
233 rm *.thy~~
234 rm *.thy~~~
235 rm #*
236 rm .\#*
237 rm *.tar*
238 rm *.orig
239 rm *.orig~
240 rm *.orig~~
241 rm *.orig~~~
242 cd ..
243 cd MathEngBasic
244 echo "cd MathEngBasic was successful ---------------------------------------------------------"
245 rm *.sml~
246 rm *.sml~
247 rm *.sml~~
248 rm *.sml~~~
249 rm *.thy~
250 rm *.thy~
251 rm *.thy~~
252 rm *.thy~~~
253 rm #*
254 rm *#~
255 rm .\#*
256 rm *.tar*
257 rm *.orig
258 rm *.orig~
259 rm *.orig~~
260 rm *.orig~~~
261 cd ..
262 cd Specify
263 echo "cd Specify was successful --------------------------------------------------------------"
264 rm *.sml~
265 rm *.sml~
266 rm *.sml~~
267 rm *.sml~~~
268 rm *.thy~
269 rm *.thy~
270 rm *.thy~~
271 rm *.thy~~~
272 rm #*
273 rm *#~
274 rm .\#*
275 rm *.tar*
276 rm *.orig
277 rm *.orig~
278 rm *.orig~~
279 rm *.orig~~~
280 cd ..
281 cd Interpret
282 echo "cd Interpret was successful ------------------------------------------------------------"
283 rm *.sml~
284 rm *.sml~
285 rm *.sml~~
286 rm *.sml~~~
287 rm *.thy~
288 rm *.thy~
289 rm *.thy~~
290 rm *.thy~~~
291 rm #*
292 rm #*~
293 rm .\#*
294 rm *.tar*
295 rm *.orig
296 rm *.orig~
297 rm *.orig~~
298 rm *.orig~~~
299 cd ..
300 cd MathEngine
301 echo "cd MathEngine was successful -----------------------------------------------------------"
302 rm *.sml~
303 rm *.sml~
304 rm *.sml~~
305 rm *.sml~~~
306 rm *.thy~
307 rm *.thy~
308 rm *.thy~~
309 rm *.thy~~~
310 rm #*
311 rm #*~
312 rm .\#*
313 rm *.tar*
314 rm *.orig
315 rm *.orig~
316 rm *.orig~~
317 rm *.orig~~~
318 cd ..
319 cd BridgeJEdit
320 echo "cd BridgeJEdit was successful ----------------------------------------------------"
321 rm *.sml~
322 rm *.sml~~
323 rm *.sml~~~
324 rm *.thy~
325 rm *.thy~~
326 rm *.thy~~~
327 rm #*
328 rm .\#*
329 rm *.tar*
330 rm *.orig
331 rm *.orig~
332 rm *.orig~~
333 rm *.orig~~~
334 cd ..
335 cd BridgeLibisabelle
336 echo "cd BridgeLibisabelle was successful ----------------------------------------------------"
337 rm *.sml~
338 rm *.sml~
339 rm *.sml~~
340 rm *.sml~~~
341 rm *.thy~
342 rm *.thy~
343 rm *.thy~~
344 rm *.thy~~~
345 rm #*
346 rm .\#*
347 rm *.tar*
348 rm *.orig
349 rm *.orig~
350 rm *.orig~~
351 rm *.orig~~~
352 cd ..
353 cd Knowledge
354 echo "cd Knowledge was successful -----------------------------------------------------------"
355 rm *.sml~
356 rm *.sml~
357 rm *.sml~~
358 rm *.sml~~~
359 rm *.thy~
360 rm *.thy~
361 rm *.thy~~
362 rm *.thy~~~
363 rm #*
364 rm .\#*
365 rm *.tar*
366 rm *.orig*
367 cd Inverse_Z_Transform
368 echo "cd Inverse_Z_Transform was successful -----------------------------------------------------------"
369 rm *~
370 rm #*
371 rm .\#*
372 rm *.tar*
373 rm *.orig*
374 cd ..
375 cd ..