| Thu, 11 Jun 2015 22:47:53 +0200 | wenzelm | support for 'consider' command; | changeset | files |
| Thu, 11 Jun 2015 16:15:27 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 11 Jun 2015 15:44:00 +0200 | wenzelm | support to parse obtain clause without type-checking yet; | changeset | files |
| Thu, 11 Jun 2015 11:09:05 +0200 | wenzelm | tuned -- eliminated unused feature; | changeset | files |
| Thu, 11 Jun 2015 10:44:04 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 11 Jun 2015 10:03:54 +0200 | wenzelm | tuned; | changeset | files |