Mon, 19 Nov 2018 12:50:23 +0100 | wenzelm | more Haskell operations; | changeset | files |
Mon, 19 Nov 2018 12:39:39 +0100 | wenzelm | unused -- left-over from Proof General; | changeset | files |
Sun, 18 Nov 2018 18:07:51 +0000 | haftmann | removed legacy input syntax | changeset | files |