doc-src/HOL/Makefile
2000-08-28 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-08 wenzelm improved indexing;
1999-05-18 paulson ../manual.bib a new dependency
1999-05-10 wenzelm tuned;
1999-05-10 wenzelm pdf setup;
1999-05-10 wenzelm pdf setup;
1999-05-05 wenzelm *** empty log message ***
1999-05-04 wenzelm fixed;
1999-05-04 wenzelm used to be part of 'logics' manual;
less more (0) tip