| 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 |
| Thu, 15 Nov 2007 18:31:53 +0100 | aspinall | Add thm_dep preference to menu, inadvertently missed off | changeset | files |
| Thu, 15 Nov 2007 15:05:03 +0100 | wenzelm | tuned; | changeset | files |