isabelle: Changelog

wenzelm [Thu, 26 Feb 2009 20:55:47 +0100] rev 30121

updated generated files;

wenzelm [Thu, 26 Feb 2009 20:44:07 +0100] rev 30120

uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities; more robust handling of "|" within index;

wenzelm [Thu, 26 Feb 2009 20:41:28 +0100] rev 30119

fixed import of ~~/src/HOL/Decision_Procs/Ferrack;

wenzelm [Thu, 26 Feb 2009 20:09:14 +0100] rev 30118

more explicit indication of old manuals;

wenzelm [Thu, 26 Feb 2009 20:03:58 +0100] rev 30117

merged

wenzelm [Thu, 26 Feb 2009 20:03:32 +0100] rev 30116

\bibliographystyle{abbrv} for newer ref manuals;

wenzelm [Thu, 26 Feb 2009 20:01:56 +0100] rev 30115

added Haftmann-Wenzel:2009;

wenzelm [Thu, 26 Feb 2009 17:42:43 +0100] rev 30114

updated generated files;

wenzelm [Thu, 26 Feb 2009 17:42:36 +0100] rev 30113

isabelle document: adapted (postulated) defaults for tags to actual isabelle.sty;

wenzelm [Thu, 26 Feb 2009 17:00:24 +0100] rev 30112

merged

isabelle