doc-src/HOL/Makefile
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;
Tue, 18 May 1999 12:34:42 +0200 paulson ../manual.bib a new dependency
Mon, 10 May 1999 17:44:17 +0200 wenzelm tuned;
Mon, 10 May 1999 16:35:22 +0200 wenzelm pdf setup;
Mon, 10 May 1999 15:26:30 +0200 wenzelm pdf setup;
Wed, 05 May 1999 18:08:01 +0200 wenzelm *** empty log message ***
Tue, 04 May 1999 18:04:45 +0200 wenzelm fixed;
Tue, 04 May 1999 18:03:56 +0200 wenzelm used to be part of 'logics' manual;
less more (0) tip