| Thu, 22 Apr 2004 01:19:50 +0200 | kleing | added GNU Emacs, fixed x-symbol enabling (Options menu, not Customize) | changeset | files |
| Wed, 21 Apr 2004 13:20:03 +0200 | paulson | now included in Complex/README.html | changeset | files |
| Wed, 21 Apr 2004 13:18:37 +0200 | paulson | fixed to include Real and Hyperreal | changeset | files |
| Tue, 20 Apr 2004 04:09:19 +0200 | kleing | add HOL4 image, needs fixing | changeset | files |