| Fri, 22 Apr 2005 04:12:24 +0200 | kleing | added PG hang to FAQ | changeset | files |
| Fri, 22 Apr 2005 02:09:10 +0200 | kleing | tuned | changeset | files |
| Fri, 22 Apr 2005 02:03:52 +0200 | kleing | howto for changing web pages, simplified makefile access | changeset | files |
| Fri, 22 Apr 2005 01:48:08 +0200 | kleing | check in Isabelle2004 versions to make web page changes easier | changeset | files |
| Fri, 22 Apr 2005 01:38:13 +0200 | kleing | updated, added Admin/page after-release maintenance | changeset | files |
| Fri, 22 Apr 2005 00:34:15 +0200 | isatest | wakeonlan for macbroy33 | changeset | files |
| Fri, 22 Apr 2005 00:31:30 +0200 | kleing | test stable and devel version of smlnj | changeset | files |