isabelle: Changelog

wenzelm [Sat, 23 Apr 2005 19:48:40 +0200] rev 15819

content moved to Pure/ROOT.ML;

wenzelm [Sat, 23 Apr 2005 19:48:15 +0200] rev 15818

removed obsolete xterm token translations;

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

isabelle