| Thu, 22 Apr 2004 09:19:28 +0200 | kleing | Higher order logic more obvious than set theory | changeset | files |
| Thu, 22 Apr 2004 01:20:23 +0200 | kleing | removed 'tutorial out now' (out of date) | changeset | files |
| Thu, 22 Apr 2004 01:19:50 +0200 | kleing | added GNU Emacs, fixed x-symbol enabling (Options menu, not Customize) | changeset | files |