doc-src/TutorialI/IsaMakefile
2011-05-01 wenzelm 2011-05-01 misc cleanup -- no need to copy style files;
2009-10-01 wenzelm 2009-10-01 enable slow-motion mode to accomodate unsynchronized refs within theory sources;
2009-06-17 haftmann 2009-06-17 more precise dependencies
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2008-07-01 haftmann 2008-07-01 HOL += HOL-Complex
2007-11-05 nipkow 2007-11-05 removed advanced recdef section and replaced it by citation of Alex's tutorial.
2007-11-01 nipkow 2007-11-01 recdef -> fun
2007-07-23 berghofe 2007-07-23 Removed legacy ML files in Protocol case study.
2005-08-16 wenzelm 2005-08-16 removed -H false;
2005-06-22 nipkow 2005-06-22 added Rules/find2
2005-05-25 nipkow 2005-05-25 *** empty log message ***
2003-05-08 paulson 2003-05-08 HOL-Real -> HOL-Complex
2002-07-05 nipkow 2002-07-05 *** empty log message ***
2001-12-21 wenzelm 2001-12-21 removed Misc/Translations (text covered by Documents.thy);
2001-10-21 wenzelm 2001-10-21 renamed Typedef.thy to Typedefs.thy (former already present in main HOL);
2001-10-20 wenzelm 2001-10-20 got rid of separate root.tex;
2001-10-01 wenzelm 2001-10-01 initial setup for chapter on document preparation;
2001-09-28 wenzelm 2001-09-28 tuned;
2001-07-17 paulson 2001-07-17 tidying the index
2001-07-11 paulson 2001-07-11 do not remove Rules and Sets TeX files
2001-06-29 paulson 2001-06-29 the records section
2001-05-03 paulson 2001-05-03 remove unnecessary TeX files
2001-04-10 paulson 2001-04-10 Protocols chapter
2001-03-13 nipkow 2001-03-13 *** empty log message ***
2001-01-25 nipkow 2001-01-25 *** empty log message ***
2001-01-22 paulson 2001-01-22 new examples theory Rules/Tacticals.thy
2001-01-10 paulson 2001-01-10 fixed the treatment of Rules and Sets
2001-01-05 nipkow 2001-01-05 *** empty log message ***
2001-01-03 paulson 2001-01-03 Types chapter now uses HOL-Real
2001-01-02 nipkow 2001-01-02 *** empty log message ***
2000-12-15 wenzelm 2000-12-15 usedir -m brackets;
2000-12-15 nipkow 2000-12-15 *** empty log message ***
2000-12-13 nipkow 2000-12-13 *** empty log message ***
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);