doc-src/Inductive/Makefile
2000-08-28 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
1999-05-18 paulson ../manual.bib a new dependency
1999-05-12 wenzelm pdf setup;
1999-05-10 wenzelm tuned;
1997-05-12 wenzelm 'dist', 'clean';
1997-05-12 wenzelm moved here from ..
less more (0) tip