| Fri, 01 Oct 2010 14:15:49 +0200 | haftmann | use module integer for Eval | changeset | files |
| 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 |