author | Walther Neuper <walther.neuper@jku.at> |
Tue, 13 Apr 2021 13:20:05 +0200 | |
changeset 60189 | 6b021e8cb8da |
parent 60110 | 76a086c8bbef |
child 60561 | b6ab5b15cb52 |
permissions | -rwxr-xr-x |
wneuper@59416 | 1 |
rm *.sml~ |
wneuper@59416 | 2 |
rm *.sml~ |
wneuper@59416 | 3 |
rm *.sml~~ |
wneuper@59416 | 4 |
rm *.sml~~~ |
wneuper@59416 | 5 |
rm *.thy~ |
wneuper@59416 | 6 |
rm *.thy~ |
wneuper@59416 | 7 |
rm *.thy~~ |
wneuper@59416 | 8 |
rm *.thy~~~ |
neuper@37906 | 9 |
rm *.tar* |
neuper@37967 | 10 |
rm *.orig |
walther@59603 | 11 |
rm *.orig~ |
walther@59691 | 12 |
rm *.orig~~ |
walther@59691 | 13 |
rm *.orig~~~ |
walther@59866 | 14 |
cd BaseDefinitions |
walther@60078 | 15 |
echo "cd BaseDefinitions was successful -----------------------------------------------------" |
wneuper@59588 | 16 |
rm *.sml~ |
wneuper@59588 | 17 |
rm *.sml~ |
wneuper@59588 | 18 |
rm *.sml~~ |
wneuper@59588 | 19 |
rm *.sml~~~ |
wneuper@59588 | 20 |
rm *.thy~ |
wneuper@59588 | 21 |
rm *.thy~ |
wneuper@59588 | 22 |
rm *.thy~~ |
wneuper@59588 | 23 |
rm *.thy~~~ |
walther@59675 | 24 |
rm #* |
walther@59675 | 25 |
rm .\#* |
walther@59675 | 26 |
rm *.tar* |
walther@59675 | 27 |
rm *.orig |
walther@59603 | 28 |
rm *.orig~ |
walther@59691 | 29 |
rm *.orig~~ |
walther@59691 | 30 |
rm *.orig~~~ |
wneuper@59588 | 31 |
cd .. |
walther@60110 | 32 |
cd BridgeJEdit |
walther@60110 | 33 |
echo "cd BridgeJEdit was successful -----------------------------------------------------" |
walther@60110 | 34 |
rm *.sml~ |
walther@60110 | 35 |
rm *.sml~ |
walther@60110 | 36 |
rm *.sml~~ |
walther@60110 | 37 |
rm *.sml~~~ |
walther@60110 | 38 |
rm *.thy~ |
walther@60110 | 39 |
rm *.thy~ |
walther@60110 | 40 |
rm *.thy~~ |
walther@60110 | 41 |
rm *.thy~~~ |
walther@60110 | 42 |
rm #* |
walther@60110 | 43 |
rm .\#* |
walther@60110 | 44 |
rm *.tar* |
walther@60110 | 45 |
rm *.orig |
walther@60110 | 46 |
rm *.orig~ |
walther@60110 | 47 |
rm *.orig~~ |
walther@60110 | 48 |
rm *.orig~~~ |
walther@60110 | 49 |
cd .. |
walther@59827 | 50 |
cd Doc |
walther@59827 | 51 |
rm *~ |
walther@60078 | 52 |
rm *.orig |
walther@59827 | 53 |
cd Lucas_Interpreter |
walther@59827 | 54 |
rm *~ |
walther@60078 | 55 |
rm *.orig |
walther@59827 | 56 |
cd document |
walther@59827 | 57 |
rm *~ |
walther@60078 | 58 |
rm *.orig |
walther@59827 | 59 |
cd .. |
walther@59827 | 60 |
cd output |
walther@59827 | 61 |
rm * |
walther@60078 | 62 |
rm *.orig |
walther@59827 | 63 |
rm -rf document/ |
walther@59827 | 64 |
cd .. |
walther@59827 | 65 |
cd .. |
walther@59827 | 66 |
cd .. |
walther@59675 | 67 |
cd ProgLang |
walther@59691 | 68 |
echo "cd ProgLang was successful -------------------------------------------------------------" |
walther@59691 | 69 |
rm *.sml~ |
walther@59691 | 70 |
rm *.sml~ |
walther@59691 | 71 |
rm *.sml~~ |
walther@59691 | 72 |
rm *.sml~~~ |
walther@59691 | 73 |
rm *.thy~ |
walther@59691 | 74 |
rm *.thy~ |
walther@59691 | 75 |
rm *.thy~~ |
walther@59691 | 76 |
rm *.thy~~~ |
walther@59691 | 77 |
rm #* |
walther@59691 | 78 |
rm .\#* |
walther@59691 | 79 |
rm *.tar* |
walther@59691 | 80 |
rm *.orig |
walther@59691 | 81 |
rm *.orig~ |
walther@59691 | 82 |
rm *.orig~~ |
walther@59691 | 83 |
rm *.orig~~~ |
walther@59691 | 84 |
cd .. |
walther@59691 | 85 |
cd MathEngBasic |
walther@59691 | 86 |
echo "cd MathEngBasic was successful ---------------------------------------------------------" |
wneuper@59595 | 87 |
rm *.sml~ |
wneuper@59595 | 88 |
rm *.sml~ |
wneuper@59595 | 89 |
rm *.sml~~ |
wneuper@59595 | 90 |
rm *.sml~~~ |
wneuper@59595 | 91 |
rm *.thy~ |
wneuper@59595 | 92 |
rm *.thy~ |
wneuper@59595 | 93 |
rm *.thy~~ |
wneuper@59595 | 94 |
rm *.thy~~~ |
walther@59675 | 95 |
rm #* |
walther@59675 | 96 |
rm .\#* |
walther@59675 | 97 |
rm *.tar* |
walther@59675 | 98 |
rm *.orig |
walther@59603 | 99 |
rm *.orig~ |
walther@59691 | 100 |
rm *.orig~~ |
walther@59691 | 101 |
rm *.orig~~~ |
wneuper@59377 | 102 |
cd .. |
walther@59675 | 103 |
cd Specify |
walther@59691 | 104 |
echo "cd Specify was successful --------------------------------------------------------------" |
wneuper@59416 | 105 |
rm *.sml~ |
wneuper@59416 | 106 |
rm *.sml~ |
wneuper@59416 | 107 |
rm *.sml~~ |
wneuper@59416 | 108 |
rm *.sml~~~ |
wneuper@59416 | 109 |
rm *.thy~ |
wneuper@59416 | 110 |
rm *.thy~ |
wneuper@59416 | 111 |
rm *.thy~~ |
wneuper@59416 | 112 |
rm *.thy~~~ |
walther@59675 | 113 |
rm #* |
walther@59675 | 114 |
rm *#~ |
walther@59675 | 115 |
rm .\#* |
walther@59675 | 116 |
rm *.tar* |
walther@59675 | 117 |
rm *.orig |
walther@59603 | 118 |
rm *.orig~ |
walther@59691 | 119 |
rm *.orig~~ |
walther@59691 | 120 |
rm *.orig~~~ |
wneuper@59377 | 121 |
cd .. |
walther@59675 | 122 |
cd Interpret |
walther@59691 | 123 |
echo "cd Interpret was successful ------------------------------------------------------------" |
wneuper@59416 | 124 |
rm *.sml~ |
wneuper@59416 | 125 |
rm *.sml~ |
wneuper@59416 | 126 |
rm *.sml~~ |
wneuper@59416 | 127 |
rm *.sml~~~ |
wneuper@59416 | 128 |
rm *.thy~ |
wneuper@59416 | 129 |
rm *.thy~ |
wneuper@59416 | 130 |
rm *.thy~~ |
wneuper@59416 | 131 |
rm *.thy~~~ |
walther@59675 | 132 |
rm #* |
walther@60078 | 133 |
rm *#~ |
walther@59675 | 134 |
rm .\#* |
walther@59675 | 135 |
rm *.tar* |
walther@59675 | 136 |
rm *.orig |
walther@59603 | 137 |
rm *.orig~ |
walther@59691 | 138 |
rm *.orig~~ |
walther@59691 | 139 |
rm *.orig~~~ |
wneuper@59377 | 140 |
cd .. |
walther@59675 | 141 |
cd MathEngine |
walther@59691 | 142 |
echo "cd MathEngine was successful -----------------------------------------------------------" |
wneuper@59416 | 143 |
rm *.sml~ |
wneuper@59416 | 144 |
rm *.sml~ |
wneuper@59416 | 145 |
rm *.sml~~ |
wneuper@59416 | 146 |
rm *.sml~~~ |
wneuper@59416 | 147 |
rm *.thy~ |
wneuper@59416 | 148 |
rm *.thy~ |
wneuper@59416 | 149 |
rm *.thy~~ |
wneuper@59416 | 150 |
rm *.thy~~~ |
walther@60078 | 151 |
rm #* |
walther@60078 | 152 |
rm #*~ |
walther@60078 | 153 |
rm .\#* |
walther@60078 | 154 |
rm *.tar* |
walther@60078 | 155 |
rm *.orig |
walther@60078 | 156 |
rm *.orig~ |
walther@60078 | 157 |
rm *.orig~~ |
walther@60078 | 158 |
rm *.orig~~~ |
walther@60078 | 159 |
cd .. |
walther@60078 | 160 |
cd Test_Code |
walther@60078 | 161 |
echo "cd Test_Code was successful -----------------------------------------------------------" |
walther@60078 | 162 |
rm *.sml~ |
walther@60078 | 163 |
rm *.sml~ |
walther@60078 | 164 |
rm *.sml~~ |
walther@60078 | 165 |
rm *.sml~~~ |
walther@60078 | 166 |
rm *.thy~ |
walther@60078 | 167 |
rm *.thy~ |
walther@60078 | 168 |
rm *.thy~~ |
walther@60078 | 169 |
rm *.thy~~~ |
walther@59675 | 170 |
rm #* |
walther@59675 | 171 |
rm #*~ |
walther@59675 | 172 |
rm .\#* |
walther@59675 | 173 |
rm *.tar* |
walther@59675 | 174 |
rm *.orig |
walther@59603 | 175 |
rm *.orig~ |
walther@59691 | 176 |
rm *.orig~~ |
walther@59691 | 177 |
rm *.orig~~~ |
wneuper@59377 | 178 |
cd .. |
walther@59675 | 179 |
cd BridgeLibisabelle |
walther@59691 | 180 |
echo "cd BridgeLibisabelle was successful ----------------------------------------------------" |
wneuper@59416 | 181 |
rm *.sml~ |
wneuper@59416 | 182 |
rm *.sml~ |
wneuper@59416 | 183 |
rm *.sml~~ |
wneuper@59416 | 184 |
rm *.sml~~~ |
wneuper@59416 | 185 |
rm *.thy~ |
wneuper@59416 | 186 |
rm *.thy~ |
wneuper@59416 | 187 |
rm *.thy~~ |
wneuper@59416 | 188 |
rm *.thy~~~ |
walther@59675 | 189 |
rm #* |
walther@59675 | 190 |
rm .\#* |
walther@59675 | 191 |
rm *.tar* |
walther@59675 | 192 |
rm *.orig |
walther@59675 | 193 |
rm *.orig~ |
walther@59691 | 194 |
rm *.orig~~ |
walther@59691 | 195 |
rm *.orig~~~ |
walther@59675 | 196 |
cd .. |
walther@59675 | 197 |
cd Knowledge |
walther@59691 | 198 |
echo "cd Knowledge was successful -----------------------------------------------------------" |
walther@59675 | 199 |
rm *.sml~ |
walther@59675 | 200 |
rm *.sml~ |
walther@59675 | 201 |
rm *.sml~~ |
walther@59675 | 202 |
rm *.sml~~~ |
walther@59675 | 203 |
rm *.thy~ |
walther@59675 | 204 |
rm *.thy~ |
walther@59675 | 205 |
rm *.thy~~ |
walther@59675 | 206 |
rm *.thy~~~ |
walther@59675 | 207 |
rm #* |
walther@59675 | 208 |
rm .\#* |
walther@59675 | 209 |
rm *.tar* |
walther@59675 | 210 |
rm *.orig |
walther@59603 | 211 |
rm *.orig~ |
walther@59691 | 212 |
rm *.orig~~ |
walther@59691 | 213 |
rm *.orig~~~ |
wneuper@59377 | 214 |
cd .. |