doc-src/IsarRef/Makefile
Thu, 03 Jan 2002 17:48:02 +0100 wenzelm next round of updates;
Wed, 02 Jan 2002 21:52:54 +0100 wenzelm added zf.tex;
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Mon, 14 Aug 2000 18:49:35 +0200 wenzelm added conversion.tex;
Mon, 08 May 2000 11:13:28 +0200 wenzelm improved indexing;
Thu, 21 Oct 1999 17:42:21 +0200 wenzelm updated;
Fri, 30 Jul 1999 15:40:54 +0200 wenzelm more;
Fri, 30 Jul 1999 14:59:32 +0200 wenzelm more stuff;
Tue, 20 Jul 1999 18:50:46 +0200 wenzelm checkpoint;
Mon, 19 Jul 1999 17:08:05 +0200 wenzelm skeleton only;
less more (0) tip