doc-src/System/system.tex
Tue, 04 Dec 2001 01:59:49 +0100 wenzelm \usepackage{textcomp}, \usepackage{marvosym};
Wed, 24 Jan 2001 20:56:12 +0100 wenzelm more symbols;
Fri, 15 Dec 2000 17:59:05 +0100 wenzelm restore \int (integral);
Mon, 04 Dec 2000 23:16:25 +0100 wenzelm include table of Isabelle standard symbols;
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Mon, 08 May 2000 11:13:28 +0200 wenzelm improved indexing;
Mon, 18 Oct 1999 19:43:18 +0200 wenzelm tuned;
Wed, 13 Oct 1999 19:39:19 +0200 wenzelm updated;
Tue, 12 Oct 1999 19:14:06 +0200 wenzelm a4paper;
Wed, 18 Aug 1999 17:15:51 +0200 wenzelm tuned;
Mon, 16 Aug 1999 14:22:20 +0200 wenzelm bib;
Mon, 10 May 1999 16:35:22 +0200 wenzelm pdf setup;
Tue, 21 Jul 1998 16:41:12 +0200 wenzelm fixed isabelle logo;
Tue, 21 Jul 1998 08:54:09 +0200 wenzelm fixed isabelle logo;
Mon, 20 Jul 1998 19:06:39 +0200 wenzelm added pdfsetup and isabelle logo;
Mon, 12 Jan 1998 13:32:47 +0100 wenzelm fixed author;
Thu, 08 Jan 1998 18:25:36 +0100 wenzelm updated to Isabelle98;
Tue, 30 Sep 1997 17:32:33 +0200 berghofe Removed "browse.tex".
Mon, 22 Sep 1997 17:37:48 +0200 wenzelm acks;
Thu, 22 May 1997 10:34:23 +0200 wenzelm fixed packages;
Wed, 21 May 1997 17:11:46 +0200 wenzelm release version (sort of);
Tue, 20 May 1997 19:34:24 +0200 wenzelm under construction;
Fri, 16 May 1997 15:57:11 +0200 wenzelm still under construction!
Wed, 14 May 1997 19:27:21 +0200 wenzelm preliminary!
Mon, 12 May 1997 18:34:49 +0200 wenzelm *** empty log message ***
Mon, 12 May 1997 18:26:53 +0200 wenzelm The Isabelle System Manual;
less more (0) tip