doc-src/HOL/Makefile
2011-05-02 wenzelm 2011-05-02 removed obsolete rail diagrams (which were about old-style theory syntax);
2011-05-01 wenzelm 2011-05-01 include static rail files for old manuals, to make standard make job independent of the "rail" executable;
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-08 wenzelm 2000-05-08 improved indexing;
1999-05-18 paulson 1999-05-18 ../manual.bib a new dependency
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-05 wenzelm 1999-05-05 *** empty log message ***
1999-05-04 wenzelm 1999-05-04 fixed;
1999-05-04 wenzelm 1999-05-04 used to be part of 'logics' manual;