doc-src/TutorialI/IsaMakefile
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-02 nipkow 2000-10-02 *** empty log message ***
2000-09-15 wenzelm 2000-09-15 *** empty log message ***
2000-09-14 nipkow 2000-09-14 *** empty log message ***
2000-09-12 nipkow 2000-09-12 *** empty log message ***
2000-09-05 nipkow 2000-09-05 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-28 nipkow 2000-08-28 *** empty log message ***
2000-08-21 nipkow 2000-08-21 *** empty log message ***
2000-08-18 nipkow 2000-08-18 *** empty log message ***
2000-08-04 wenzelm 2000-08-04 targets for images, test, all;
2000-08-02 nipkow 2000-08-02 *** empty log message ***
2000-05-09 wenzelm 2000-05-09 use proper version of pdfsetup.sty;
2000-05-08 wenzelm 2000-05-08 improved handling of Isabelle styles (less garbage);
2000-04-20 nipkow 2000-04-20 *** empty log message ***
2000-04-19 nipkow 2000-04-19 *** empty log message ***
2000-04-19 nipkow 2000-04-19 I wonder if that's all?