| Fri, 01 Oct 2010 11:46:09 +0200 | haftmann | check whole target hierarchy for existing reserved symbols | changeset | files |
| Fri, 01 Oct 2010 11:46:09 +0200 | haftmann | added polyml_as_definition -- using external SML files as substitute for proper definitions -- only for polyml! | changeset | files |
| Fri, 01 Oct 2010 15:11:15 +0200 | wenzelm | tuned default "Prover Session" perspective; | changeset | files |
| Fri, 01 Oct 2010 14:47:46 +0200 | wenzelm | eliminated ancient OldTerm.term_frees; | changeset | files |
| Fri, 01 Oct 2010 14:27:51 +0200 | wenzelm | more antiquotations; | changeset | files |
| Fri, 01 Oct 2010 13:36:35 +0200 | wenzelm | simplified outer syntax setup; | changeset | files |
| Fri, 01 Oct 2010 10:25:36 +0200 | haftmann | chop_while replace drop_while and take_while | changeset | files |