1996-12-09 wenzelm [Mon, 09 Dec 1996 09:04:07 +0100] rev 2335
added -norc option;
lib/Tools/getenv lib/Tools/installfonts

1996-12-09 wenzelm [Mon, 09 Dec 1996 09:03:52 +0100] rev 2334
added -norc option;
error output to stderr;
lib/Tools/changeparent

1996-12-09 wenzelm [Mon, 09 Dec 1996 09:03:03 +0100] rev 2333
findlogics: collect heap names from ISABELLE_PATH;
lib/Tools/findlogics

1996-12-09 wenzelm [Mon, 09 Dec 1996 09:02:15 +0100] rev 2332
doc: view Isabelle documentation;
lib/Tools/doc

1996-12-06 paulson [Fri, 06 Dec 1996 10:49:15 +0100] rev 2331
Minor renamings
src/HOL/Auth/OtwayRees_AN.ML

1996-12-06 paulson [Fri, 06 Dec 1996 10:47:10 +0100] rev 2330
MLWorks compatibility: it sort of works
src/Pure/MLWorks.ML

1996-12-06 paulson [Fri, 06 Dec 1996 10:41:35 +0100] rev 2329
Added public-key examples for Auth
src/HOL/Makefile

1996-12-06 paulson [Fri, 06 Dec 1996 10:36:31 +0100] rev 2328
Minor renamings
src/HOL/Auth/OtwayRees.ML

1996-12-05 paulson [Thu, 05 Dec 1996 19:03:38 +0100] rev 2327
Moved much common material to Message.ML
src/HOL/Auth/Message.ML

1996-12-05 paulson [Thu, 05 Dec 1996 19:03:08 +0100] rev 2326
Updating of banner
src/HOL/Auth/DB-ROOT.ML