| Tue, 20 Nov 2007 13:59:23 +0100 | wenzelm | tuned spacing; | changeset | files |
| Tue, 20 Nov 2007 13:55:13 +0100 | wenzelm | updated Proof General advertisement; | changeset | files |
| Tue, 20 Nov 2007 11:42:15 +0100 | wenzelm | PolyML.SaveState.loadState: exit on failure; | changeset | files |
| Mon, 19 Nov 2007 13:42:09 +0100 | aspinall | Init outer syntax after message setup to avoid spurious output. | changeset | files |
| Mon, 19 Nov 2007 12:06:10 +0100 | isatest | update to most recent smlnj version | changeset | files |
| Mon, 19 Nov 2007 11:09:09 +0100 | wenzelm | inform_file_processed: made even more robust against bad file specs; | changeset | files |
| Sun, 18 Nov 2007 16:10:12 +0100 | wenzelm | removed unused inform_file_processed; | changeset | files |
| Sun, 18 Nov 2007 16:10:11 +0100 | wenzelm | init_empty: check before change (avoids non-linear update); | changeset | files |