author | Walther Neuper <walther.neuper@jku.at> |
Tue, 03 Sep 2019 12:40:27 +0200 | |
changeset 59603 | 30cd47104ad7 |
parent 59600 | 0914ffedb4c5 |
child 59675 | 9950708a8a2e |
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 cd CalcElements
27 echo "cd CalcElements was successful"
28 rm *.sml~
29 rm *.sml~
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 *.thy~
40 rm *.thy~
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 #*
51 rm .\#*
52 rm *.tar*
53 rm *.orig
54 rm *.orig~
55 cd ..
56 cd Specify
57 echo "cd Specify was successful"
58 rm *.sml~
59 rm *.sml~
60 rm *.sml~~
61 rm *.sml~~~
62 rm *.sml~~~~
63 rm *.sml~~~~~
64 rm *.sml~~~~~~
65 rm *.sml~~~~~~~
66 rm *.sml~~~~~~~~
67 rm *.sml~~~~~~~~~
68 rm *.sml~~~~~~~~~~
69 rm *.thy~
70 rm *.thy~
71 rm *.thy~~
72 rm *.thy~~~
73 rm *.thy~~~~
74 rm *.thy~~~~~
75 rm *.thy~~~~~~
76 rm *.thy~~~~~~~
77 rm *.thy~~~~~~~~
78 rm *.thy~~~~~~~~~
79 rm *.thy~~~~~~~~~~
80 rm #*
81 rm .\#*
82 rm *.tar*
83 rm *.orig
84 rm *.orig~
85 cd ..
86 cd ProgLang
87 echo "cd ProgLang was successful"
88 rm *.sml~
89 rm *.sml~
90 rm *.sml~~
91 rm *.sml~~~
92 rm *.sml~~~~
93 rm *.sml~~~~~
94 rm *.sml~~~~~~
95 rm *.sml~~~~~~~
96 rm *.sml~~~~~~~~
97 rm *.sml~~~~~~~~~
98 rm *.sml~~~~~~~~~~
99 rm *.thy~
100 rm *.thy~
101 rm *.thy~~
102 rm *.thy~~~
103 rm *.thy~~~~
104 rm *.thy~~~~~
105 rm *.thy~~~~~~
106 rm *.thy~~~~~~~
107 rm *.thy~~~~~~~~
108 rm *.thy~~~~~~~~~
109 rm *.thy~~~~~~~~~~
110 rm #*
111 rm .\#*
112 rm *.tar*
113 rm *.orig
114 rm *.orig~
115 cd ..
116 cd Interpret
117 echo "cd Interpret was successful"
118 rm *.sml~
119 rm *.sml~
120 rm *.sml~~
121 rm *.sml~~~
122 rm *.sml~~~~
123 rm *.sml~~~~~
124 rm *.sml~~~~~~
125 rm *.sml~~~~~~~
126 rm *.sml~~~~~~~~
127 rm *.sml~~~~~~~~~
128 rm *.sml~~~~~~~~~~
129 rm *.thy~
130 rm *.thy~
131 rm *.thy~~
132 rm *.thy~~~
133 rm *.thy~~~~
134 rm *.thy~~~~~
135 rm *.thy~~~~~~
136 rm *.thy~~~~~~~
137 rm *.thy~~~~~~~~
138 rm *.thy~~~~~~~~~
139 rm *.thy~~~~~~~~~~
140 rm #*
141 rm .\#*
142 rm *.tar*
143 rm *.orig
144 rm *.orig~
145 cd ..
146 cd MathEngine
147 echo "cd MathEngine was successful"
148 rm *.sml~
149 rm *.sml~
150 rm *.sml~~
151 rm *.sml~~~
152 rm *.sml~~~~
153 rm *.sml~~~~~
154 rm *.sml~~~~~~
155 rm *.sml~~~~~~~
156 rm *.sml~~~~~~~~
157 rm *.sml~~~~~~~~~
158 rm *.sml~~~~~~~~~~
159 rm *.thy~
160 rm *.thy~
161 rm *.thy~~
162 rm *.thy~~~
163 rm *.thy~~~~
164 rm *.thy~~~~~
165 rm *.thy~~~~~~
166 rm *.thy~~~~~~~
167 rm *.thy~~~~~~~~
168 rm *.thy~~~~~~~~~
169 rm *.thy~~~~~~~~~~
170 rm #*
171 rm .\#*
172 rm *.tar*
173 rm *.orig
174 rm *.orig~
175 cd ..
176 cd BridgeLibisabelle
177 echo "cd BridgeLibisabelle was successful"
178 rm *.sml~
179 rm *.sml~
180 rm *.sml~~
181 rm *.sml~~~
182 rm *.sml~~~~
183 rm *.sml~~~~~
184 rm *.sml~~~~~~
185 rm *.sml~~~~~~~
186 rm *.sml~~~~~~~~
187 rm *.sml~~~~~~~~~
188 rm *.sml~~~~~~~~~~
189 rm *.thy~
190 rm *.thy~
191 rm *.thy~~
192 rm *.thy~~~
193 rm *.thy~~~~
194 rm *.thy~~~~~
195 rm *.thy~~~~~~
196 rm *.thy~~~~~~~
197 rm *.thy~~~~~~~~
198 rm *.thy~~~~~~~~~
199 rm *.thy~~~~~~~~~~
200 rm #*
201 rm .\#*
202 rm *.tar*
203 rm *.orig
204 rm *.orig~
205 cd ..
206 cd Knowledge
207 echo "cd Knowledge was successful"
208 rm *.sml~
209 rm *.sml~
210 rm *.sml~~
211 rm *.sml~~~
212 rm *.sml~~~~
213 rm *.sml~~~~~
214 rm *.sml~~~~~~
215 rm *.sml~~~~~~~
216 rm *.sml~~~~~~~~
217 rm *.sml~~~~~~~~~
218 rm *.sml~~~~~~~~~~
219 rm *.thy~
220 rm *.thy~
221 rm *.thy~~
222 rm *.thy~~~
223 rm *.thy~~~~
224 rm *.thy~~~~~
225 rm *.thy~~~~~~
226 rm *.thy~~~~~~~
227 rm *.thy~~~~~~~~
228 rm *.thy~~~~~~~~~
229 rm *.thy~~~~~~~~~~
230 rm #*
231 rm .\#*
232 rm *.tar*
233 rm *.orig
234 rm *.orig~
235 cd ..