| Tue, 19 Aug 2014 16:46:07 +0200 | wenzelm | just one context for Method.evaluate (in contrast to a989bdaf8121, but in accordance to old global situation); | changeset | files |
| Tue, 19 Aug 2014 16:09:11 +0200 | wenzelm | tuned signature; | changeset | files |
| 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 |