isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 06 Jan 2002 13:47:55 +0100 updated;

changeset

wenzelm [Sun, 06 Jan 2002 13:47:55 +0100] rev 12647

updated;

Sun, 06 Jan 2002 13:47:26 +0100 tuned;

changeset

wenzelm [Sun, 06 Jan 2002 13:47:26 +0100] rev 12646

tuned;

Sat, 05 Jan 2002 21:42:01 +0100 some text on document preparation;

changeset

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

some text on document preparation;

Sat, 05 Jan 2002 21:41:38 +0100 updated;

changeset

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

updated;

Sat, 05 Jan 2002 21:41:11 +0100 tuned;

changeset

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

tuned;

Sat, 05 Jan 2002 01:27:32 +0100 updated;

changeset

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

updated;

Sat, 05 Jan 2002 01:20:52 +0100 mention X-Symbol;

changeset

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

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

Sat, 05 Jan 2002 01:20:06 +0100 updated;

changeset

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

updated;

Sat, 05 Jan 2002 01:19:14 +0100 use wasysym package;

changeset

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

use wasysym package;

Sat, 05 Jan 2002 01:18:54 +0100 \newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate

changeset

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;

Sat, 05 Jan 2002 01:17:48 +0100 tuned;

changeset

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

tuned;

Sat, 05 Jan 2002 01:17:14 +0100 \hfootref: use \url markup;

changeset

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

\hfootref: use \url markup;

Sat, 05 Jan 2002 01:15:12 +0100 more on concrete syntax;

changeset

wenzelm [Sat, 05 Jan 2002 01:15:12 +0100] rev 12635