isabelle: Changelog

paulson [Fri, 22 Apr 2005 17:32:46 +0200] rev 15817

removed last occurrences of OS.Process.sleep

paulson [Fri, 22 Apr 2005 17:32:29 +0200] rev 15816

x-symbol syntax

paulson [Fri, 22 Apr 2005 17:32:03 +0200] rev 15815

tidied

dixon [Fri, 22 Apr 2005 15:10:42 +0200] rev 15814

lucas - fixed a big with renaming of bound variables. Other small changes.

isatest [Fri, 22 Apr 2005 14:15:01 +0200] rev 15813

run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around

kleing [Fri, 22 Apr 2005 04:12:24 +0200] rev 15812

added PG hang to FAQ

kleing [Fri, 22 Apr 2005 02:09:10 +0200] rev 15811

tuned

kleing [Fri, 22 Apr 2005 02:03:52 +0200] rev 15810

howto for changing web pages, simplified makefile access

kleing [Fri, 22 Apr 2005 01:48:08 +0200] rev 15809

check in Isabelle2004 versions to make web page changes easier

kleing [Fri, 22 Apr 2005 01:38:13 +0200] rev 15808

updated, added Admin/page after-release maintenance

isabelle