doc-src/TutorialI/IsaMakefile
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-12-05 paulson 2000-12-05 new theory Numbers.thy
2000-11-30 nipkow 2000-11-30 *** empty log message ***
2000-11-29 nipkow 2000-11-29 *** empty log message ***
2000-11-03 paulson 2000-11-03 replaced Acc.thy by Advanced.thy
2000-10-31 nipkow 2000-10-31 *** empty log message ***
2000-10-25 nipkow 2000-10-25 *** empty log message ***
2000-10-23 paulson 2000-10-23 now includes Rules, Sets (?)
2000-10-16 nipkow 2000-10-16 *** empty log message ***
2000-10-13 nipkow 2000-10-13 *** empty log message ***
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?