doc-src/Inductive/Makefile
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Tue, 18 May 1999 12:34:42 +0200 paulson ../manual.bib a new dependency
Wed, 12 May 1999 11:01:01 +0200 wenzelm pdf setup;
Mon, 10 May 1999 17:44:17 +0200 wenzelm tuned;
Mon, 12 May 1997 17:24:29 +0200 wenzelm 'dist', 'clean';
Mon, 12 May 1997 17:13:12 +0200 wenzelm moved here from ..
less more (0) tip