| Tue, 19 Aug 2014 15:55:06 +0200 | wenzelm | more compact datatypes; | changeset | files |
| Tue, 19 Aug 2014 15:10:37 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 19 Aug 2014 14:51:25 +0200 | wenzelm | clarifed Method.evaluate: turn text into semantic method (like Basic); | changeset | files |
| Tue, 19 Aug 2014 12:05:11 +0200 | wenzelm | simplified type Proof.method; | changeset | files |