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 |
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 CalcElements
29 echo "cd CalcElements was successful ----------------------------------------------------------"
30 rm *.sml~
31 rm *.sml~
32 rm *.sml~~
33 rm *.sml~~~
34 rm *.sml~~~~
35 rm *.sml~~~~~
36 rm *.sml~~~~~~
37 rm *.sml~~~~~~~
38 rm *.sml~~~~~~~~
39 rm *.sml~~~~~~~~~
40 rm *.sml~~~~~~~~~~
41 rm *.thy~
42 rm *.thy~
43 rm *.thy~~
44 rm *.thy~~~
45 rm *.thy~~~~
46 rm *.thy~~~~~
47 rm *.thy~~~~~~
48 rm *.thy~~~~~~~
49 rm *.thy~~~~~~~~
50 rm *.thy~~~~~~~~~
51 rm *.thy~~~~~~~~~~
52 rm #*
53 rm .\#*
54 rm *.tar*
55 rm *.orig
56 rm *.orig~
57 rm *.orig~~
58 rm *.orig~~~
59 cd ..
60 cd Doc
61 rm *~
62 cd Lucas_Interpreter
63 rm *~
64 cd document
65 rm *~
66 cd ..
67 cd output
68 rm *
69 rm -rf document/
70 cd ..
71 cd ..
72 cd ..
73 cd ProgLang
74 echo "cd ProgLang was successful -------------------------------------------------------------"
75 rm *.sml~
76 rm *.sml~
77 rm *.sml~~
78 rm *.sml~~~
79 rm *.sml~~~~
80 rm *.sml~~~~~
81 rm *.sml~~~~~~
82 rm *.sml~~~~~~~
83 rm *.sml~~~~~~~~
84 rm *.sml~~~~~~~~~
85 rm *.sml~~~~~~~~~~
86 rm *.thy~
87 rm *.thy~
88 rm *.thy~~
89 rm *.thy~~~
90 rm *.thy~~~~
91 rm *.thy~~~~~
92 rm *.thy~~~~~~
93 rm *.thy~~~~~~~
94 rm *.thy~~~~~~~~
95 rm *.thy~~~~~~~~~
96 rm *.thy~~~~~~~~~~
97 rm #*
98 rm .\#*
99 rm *.tar*
100 rm *.orig
101 rm *.orig~
102 rm *.orig~~
103 rm *.orig~~~
104 cd ..
105 cd MathEngBasic
106 echo "cd MathEngBasic was successful ---------------------------------------------------------"
107 rm *.sml~
108 rm *.sml~
109 rm *.sml~~
110 rm *.sml~~~
111 rm *.sml~~~~
112 rm *.sml~~~~~
113 rm *.sml~~~~~~
114 rm *.sml~~~~~~~
115 rm *.sml~~~~~~~~
116 rm *.sml~~~~~~~~~
117 rm *.sml~~~~~~~~~~
118 rm *.thy~
119 rm *.thy~
120 rm *.thy~~
121 rm *.thy~~~
122 rm *.thy~~~~
123 rm *.thy~~~~~
124 rm *.thy~~~~~~
125 rm *.thy~~~~~~~
126 rm *.thy~~~~~~~~
127 rm *.thy~~~~~~~~~
128 rm *.thy~~~~~~~~~~
129 rm #*
130 rm .\#*
131 rm *.tar*
132 rm *.orig
133 rm *.orig~
134 rm *.orig~~
135 rm *.orig~~~
136 cd ..
137 cd Specify
138 echo "cd Specify was successful --------------------------------------------------------------"
139 rm *.sml~
140 rm *.sml~
141 rm *.sml~~
142 rm *.sml~~~
143 rm *.sml~~~~
144 rm *.sml~~~~~
145 rm *.sml~~~~~~
146 rm *.sml~~~~~~~
147 rm *.sml~~~~~~~~
148 rm *.sml~~~~~~~~~
149 rm *.sml~~~~~~~~~~
150 rm *.thy~
151 rm *.thy~
152 rm *.thy~~
153 rm *.thy~~~
154 rm *.thy~~~~
155 rm *.thy~~~~~
156 rm *.thy~~~~~~
157 rm *.thy~~~~~~~
158 rm *.thy~~~~~~~~
159 rm *.thy~~~~~~~~~
160 rm *.thy~~~~~~~~~~
161 rm #*
162 rm *#~
163 rm .\#*
164 rm *.tar*
165 rm *.orig
166 rm *.orig~
167 rm *.orig~~
168 rm *.orig~~~
169 cd ..
170 cd Interpret
171 echo "cd Interpret 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 MathEngine
203 echo "cd MathEngine 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 .\#*
229 rm *.tar*
230 rm *.orig
231 rm *.orig~
232 rm *.orig~~
233 rm *.orig~~~
234 cd ..
235 cd BridgeLibisabelle
236 echo "cd BridgeLibisabelle was successful ----------------------------------------------------"
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 *.sml~~~~~~~~~~
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 *.thy~~~~~~~~~~
259 rm #*
260 rm .\#*
261 rm *.tar*
262 rm *.orig
263 rm *.orig~
264 rm *.orig~~
265 rm *.orig~~~
266 cd ..
267 cd Knowledge
268 echo "cd Knowledge was successful -----------------------------------------------------------"
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 *.sml~~~~~~~~~~
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 *.thy~~~~~~~~~~
291 rm #*
292 rm .\#*
293 rm *.tar*
294 rm *.orig
295 rm *.orig~
296 rm *.orig~~
297 rm *.orig~~~
298 cd ..