isabelle: Changelog

wenzelm [Sat, 05 Jan 2002 21:42:01 +0100] rev 12645

some text on document preparation;

wenzelm [Sat, 05 Jan 2002 21:41:38 +0100] rev 12644

updated;

wenzelm [Sat, 05 Jan 2002 21:41:11 +0100] rev 12643

tuned;

wenzelm [Sat, 05 Jan 2002 01:27:32 +0100] rev 12642

updated;

wenzelm [Sat, 05 Jan 2002 01:20:52 +0100] rev 12641

mention X-Symbol; \index{Aspinall, David};

wenzelm [Sat, 05 Jan 2002 01:20:06 +0100] rev 12640

updated;

wenzelm [Sat, 05 Jan 2002 01:19:14 +0100] rev 12639

use wasysym package;

wenzelm [Sat, 05 Jan 2002 01:18:54 +0100] rev 12638

\newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate duplicate syntax declarations for demonstration purposes;

wenzelm [Sat, 05 Jan 2002 01:17:48 +0100] rev 12637

tuned;

wenzelm [Sat, 05 Jan 2002 01:17:14 +0100] rev 12636

\hfootref: use \url markup;

isabelle