src/HOL/document/root.tex
Tue, 09 Mar 2021 21:11:05 +0100 wenzelm proper type-setting of cartouches (requires T1);
Mon, 16 Nov 2020 22:21:40 +0100 wenzelm clarified document;
Wed, 30 Dec 2015 14:55:26 +0100 wenzelm proper latex setup;
Sun, 02 Nov 2014 18:21:14 +0100 wenzelm prefer \setisabellecontext;
Fri, 03 Dec 2010 20:38:58 +0100 wenzelm recoded latin1 as utf8;
Fri, 06 Mar 2009 20:30:18 +0100 haftmann added babel -- necessary for bind infix syntax
Tue, 16 Sep 2008 16:13:14 +0200 haftmann removed babel again
Tue, 16 Sep 2008 09:21:28 +0200 haftmann added babel
Sun, 28 Aug 2005 16:04:43 +0200 wenzelm tuned size of included graph;
Fri, 08 Jul 2005 11:39:59 +0200 nipkow added Davenport reference
Sun, 10 Apr 2005 17:19:03 +0200 nipkow _(_|_) is now override_on
Mon, 07 Feb 2005 08:02:49 +0100 nipkow fixed latex problems by including bigsqcap
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Fri, 16 Apr 2004 21:00:53 +0200 wenzelm more elaborate header markup;
Sun, 13 Jan 2002 21:13:27 +0100 wenzelm \usepackage[latin1]{inputenc};
Thu, 06 Dec 2001 17:15:53 +0100 wenzelm include session graph;
Sat, 03 Nov 2001 01:45:32 +0100 wenzelm document setup;
less more (0) tip