author | wneuper <Walther.Neuper@jku.at> |
Wed, 11 Jan 2023 11:38:01 +0100 | |
changeset 60650 | 06ec8abfd3bc |
parent 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 BaseDefinitions
15 echo "cd BaseDefinitions was successful -----------------------------------------------------"
16 rm *.sml~
17 rm *.sml~
18 rm *.sml~~
19 rm *.sml~~~
20 rm *.thy~
21 rm *.thy~
22 rm *.thy~~
23 rm *.thy~~~
24 rm #*
25 rm .\#*
26 rm *.tar*
27 rm *.orig
28 rm *.orig~
29 rm *.orig~~
30 rm *.orig~~~
31 cd ..
32 cd BridgeJEdit
33 echo "cd BridgeJEdit was successful -----------------------------------------------------"
34 rm *.sml~
35 rm *.sml~
36 rm *.sml~~
37 rm *.sml~~~
38 rm *.thy~
39 rm *.thy~
40 rm *.thy~~
41 rm *.thy~~~
42 rm #*
43 rm .\#*
44 rm *.tar*
45 rm *.orig
46 rm *.orig~
47 rm *.orig~~
48 rm *.orig~~~
49 cd ..
50 cd Doc
51 rm *~
52 rm *.orig
53 cd Lucas_Interpreter #output tends to vanish
54 echo "cd Lucas_Interpreter was successful ----------------------------------------------------"
55 cd ..
56 cd Specify_Phase #output tends to vanish
57 echo "cd Specify_Phase was successful --------------------------------------------------------"
58 cd ..
59 cd ProgLang
60 echo "cd ProgLang was successful -------------------------------------------------------------"
61 rm *.sml~
62 rm *.sml~
63 rm *.sml~~
64 rm *.sml~~~
65 rm *.thy~
66 rm *.thy~
67 rm *.thy~~
68 rm *.thy~~~
69 rm #*
70 rm .\#*
71 rm *.tar*
72 rm *.orig
73 rm *.orig~
74 rm *.orig~~
75 rm *.orig~~~
76 cd ..
77 cd MathEngBasic
78 echo "cd MathEngBasic was successful ---------------------------------------------------------"
79 rm *.sml~
80 rm *.sml~
81 rm *.sml~~
82 rm *.sml~~~
83 rm *.thy~
84 rm *.thy~
85 rm *.thy~~
86 rm *.thy~~~
87 rm #*
88 rm .\#*
89 rm *.tar*
90 rm *.orig
91 rm *.orig~
92 rm *.orig~~
93 rm *.orig~~~
94 cd ..
95 cd Specify
96 echo "cd Specify was successful --------------------------------------------------------------"
97 rm *.sml~
98 rm *.sml~
99 rm *.sml~~
100 rm *.sml~~~
101 rm *.thy~
102 rm *.thy~
103 rm *.thy~~
104 rm *.thy~~~
105 rm #*
106 rm *#~
107 rm .\#*
108 rm *.tar*
109 rm *.orig
110 rm *.orig~
111 rm *.orig~~
112 rm *.orig~~~
113 cd ..
114 cd Interpret
115 echo "cd Interpret was successful ------------------------------------------------------------"
116 rm *.sml~
117 rm *.sml~
118 rm *.sml~~
119 rm *.sml~~~
120 rm *.thy~
121 rm *.thy~
122 rm *.thy~~
123 rm *.thy~~~
124 rm #*
125 rm *#~
126 rm .\#*
127 rm *.tar*
128 rm *.orig
129 rm *.orig~
130 rm *.orig~~
131 rm *.orig~~~
132 cd ..
133 cd MathEngine
134 echo "cd MathEngine was successful -----------------------------------------------------------"
135 rm *.sml~
136 rm *.sml~
137 rm *.sml~~
138 rm *.sml~~~
139 rm *.thy~
140 rm *.thy~
141 rm *.thy~~
142 rm *.thy~~~
143 rm #*
144 rm #*~
145 rm .\#*
146 rm *.tar*
147 rm *.orig
148 rm *.orig~
149 rm *.orig~~
150 rm *.orig~~~
151 cd ..
152 cd Test_Code
153 echo "cd Test_Code was successful -----------------------------------------------------------"
154 rm *.sml~
155 rm *.sml~
156 rm *.sml~~
157 rm *.sml~~~
158 rm *.thy~
159 rm *.thy~
160 rm *.thy~~
161 rm *.thy~~~
162 rm #*
163 rm #*~
164 rm .\#*
165 rm *.tar*
166 rm *.orig
167 rm *.orig~
168 rm *.orig~~
169 rm *.orig~~~
170 cd ..
171 cd BridgeLibisabelle
172 echo "cd BridgeLibisabelle 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 Knowledge
190 echo "cd Knowledge 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 ..