| author | Walther Neuper <walther.neuper@jku.at> |
| Thu, 07 Nov 2019 10:43:32 +0100 | |
| changeset 59691 | 53c60fa9c41c |
| parent 59675 | 9950708a8a2e |
| child 59827 | 168abe8dd1e3 |
| 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 ProgLang
61 echo "cd ProgLang was successful -------------------------------------------------------------"
62 rm *.sml~
63 rm *.sml~
64 rm *.sml~~
65 rm *.sml~~~
66 rm *.sml~~~~
67 rm *.sml~~~~~
68 rm *.sml~~~~~~
69 rm *.sml~~~~~~~
70 rm *.sml~~~~~~~~
71 rm *.sml~~~~~~~~~
72 rm *.sml~~~~~~~~~~
73 rm *.thy~
74 rm *.thy~
75 rm *.thy~~
76 rm *.thy~~~
77 rm *.thy~~~~
78 rm *.thy~~~~~
79 rm *.thy~~~~~~
80 rm *.thy~~~~~~~
81 rm *.thy~~~~~~~~
82 rm *.thy~~~~~~~~~
83 rm *.thy~~~~~~~~~~
84 rm #*
85 rm .\#*
86 rm *.tar*
87 rm *.orig
88 rm *.orig~
89 rm *.orig~~
90 rm *.orig~~~
91 cd ..
92 cd MathEngBasic
93 echo "cd MathEngBasic was successful ---------------------------------------------------------"
94 rm *.sml~
95 rm *.sml~
96 rm *.sml~~
97 rm *.sml~~~
98 rm *.sml~~~~
99 rm *.sml~~~~~
100 rm *.sml~~~~~~
101 rm *.sml~~~~~~~
102 rm *.sml~~~~~~~~
103 rm *.sml~~~~~~~~~
104 rm *.sml~~~~~~~~~~
105 rm *.thy~
106 rm *.thy~
107 rm *.thy~~
108 rm *.thy~~~
109 rm *.thy~~~~
110 rm *.thy~~~~~
111 rm *.thy~~~~~~
112 rm *.thy~~~~~~~
113 rm *.thy~~~~~~~~
114 rm *.thy~~~~~~~~~
115 rm *.thy~~~~~~~~~~
116 rm #*
117 rm .\#*
118 rm *.tar*
119 rm *.orig
120 rm *.orig~
121 rm *.orig~~
122 rm *.orig~~~
123 cd ..
124 cd Specify
125 echo "cd Specify was successful --------------------------------------------------------------"
126 rm *.sml~
127 rm *.sml~
128 rm *.sml~~
129 rm *.sml~~~
130 rm *.sml~~~~
131 rm *.sml~~~~~
132 rm *.sml~~~~~~
133 rm *.sml~~~~~~~
134 rm *.sml~~~~~~~~
135 rm *.sml~~~~~~~~~
136 rm *.sml~~~~~~~~~~
137 rm *.thy~
138 rm *.thy~
139 rm *.thy~~
140 rm *.thy~~~
141 rm *.thy~~~~
142 rm *.thy~~~~~
143 rm *.thy~~~~~~
144 rm *.thy~~~~~~~
145 rm *.thy~~~~~~~~
146 rm *.thy~~~~~~~~~
147 rm *.thy~~~~~~~~~~
148 rm #*
149 rm *#~
150 rm .\#*
151 rm *.tar*
152 rm *.orig
153 rm *.orig~
154 rm *.orig~~
155 rm *.orig~~~
156 cd ..
157 cd Interpret
158 echo "cd Interpret was successful ------------------------------------------------------------"
159 rm *.sml~
160 rm *.sml~
161 rm *.sml~~
162 rm *.sml~~~
163 rm *.sml~~~~
164 rm *.sml~~~~~
165 rm *.sml~~~~~~
166 rm *.sml~~~~~~~
167 rm *.sml~~~~~~~~
168 rm *.sml~~~~~~~~~
169 rm *.sml~~~~~~~~~~
170 rm *.thy~
171 rm *.thy~
172 rm *.thy~~
173 rm *.thy~~~
174 rm *.thy~~~~
175 rm *.thy~~~~~
176 rm *.thy~~~~~~
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 MathEngine
190 echo "cd MathEngine was successful -----------------------------------------------------------"
191 rm *.sml~
192 rm *.sml~
193 rm *.sml~~
194 rm *.sml~~~
195 rm *.sml~~~~
196 rm *.sml~~~~~
197 rm *.sml~~~~~~
198 rm *.sml~~~~~~~
199 rm *.sml~~~~~~~~
200 rm *.sml~~~~~~~~~
201 rm *.sml~~~~~~~~~~
202 rm *.thy~
203 rm *.thy~
204 rm *.thy~~
205 rm *.thy~~~
206 rm *.thy~~~~
207 rm *.thy~~~~~
208 rm *.thy~~~~~~
209 rm *.thy~~~~~~~
210 rm *.thy~~~~~~~~
211 rm *.thy~~~~~~~~~
212 rm *.thy~~~~~~~~~~
213 rm #*
214 rm #*~
215 rm .\#*
216 rm *.tar*
217 rm *.orig
218 rm *.orig~
219 rm *.orig~~
220 rm *.orig~~~
221 cd ..
222 cd BridgeLibisabelle
223 echo "cd BridgeLibisabelle was successful ----------------------------------------------------"
224 rm *.sml~
225 rm *.sml~
226 rm *.sml~~
227 rm *.sml~~~
228 rm *.sml~~~~
229 rm *.sml~~~~~
230 rm *.sml~~~~~~
231 rm *.sml~~~~~~~
232 rm *.sml~~~~~~~~
233 rm *.sml~~~~~~~~~
234 rm *.sml~~~~~~~~~~
235 rm *.thy~
236 rm *.thy~
237 rm *.thy~~
238 rm *.thy~~~
239 rm *.thy~~~~
240 rm *.thy~~~~~
241 rm *.thy~~~~~~
242 rm *.thy~~~~~~~
243 rm *.thy~~~~~~~~
244 rm *.thy~~~~~~~~~
245 rm *.thy~~~~~~~~~~
246 rm #*
247 rm .\#*
248 rm *.tar*
249 rm *.orig
250 rm *.orig~
251 rm *.orig~~
252 rm *.orig~~~
253 cd ..
254 cd Knowledge
255 echo "cd Knowledge was successful -----------------------------------------------------------"
256 rm *.sml~
257 rm *.sml~
258 rm *.sml~~
259 rm *.sml~~~
260 rm *.sml~~~~
261 rm *.sml~~~~~
262 rm *.sml~~~~~~
263 rm *.sml~~~~~~~
264 rm *.sml~~~~~~~~
265 rm *.sml~~~~~~~~~
266 rm *.sml~~~~~~~~~~
267 rm *.thy~
268 rm *.thy~
269 rm *.thy~~
270 rm *.thy~~~
271 rm *.thy~~~~
272 rm *.thy~~~~~
273 rm *.thy~~~~~~
274 rm *.thy~~~~~~~
275 rm *.thy~~~~~~~~
276 rm *.thy~~~~~~~~~
277 rm *.thy~~~~~~~~~~
278 rm #*
279 rm .\#*
280 rm *.tar*
281 rm *.orig
282 rm *.orig~
283 rm *.orig~~
284 rm *.orig~~~
285 cd ..