https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/ en-us isabelle-cookbook: IsaMakefile history IsaMakefile revision history added structure index https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/28a49fe024c9/IsaMakefile Christian Urban <urbanc@in.tum.de> Tue, 03 Nov 2009 13:57:03 +0100 modernized https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/c6a2e295227e/IsaMakefile haftmann Fri, 30 Oct 2009 09:42:16 +0100 tuned the section about printing several bits of inormation https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/fe732e890d87/IsaMakefile Christian Urban <urbanc@in.tum.de> Wed, 05 Aug 2009 16:00:01 +0200 polished the package chapter used FOCUS to explain the subproofs https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/24c68350d059/IsaMakefile Christian Urban <urbanc@in.tum.de> Thu, 30 Jul 2009 15:51:51 +0200 minor tuning https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/a0af7fe3f558/IsaMakefile Christian Urban <urbanc@in.tum.de> Thu, 04 Jun 2009 09:28:29 +0200 added some first index-information https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/1fb8d62c88a0/IsaMakefile Christian Urban <urbanc@in.tum.de> Sat, 30 May 2009 17:40:20 +0200 a saner method for calling PolyML https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/eb81ab6da2a3/IsaMakefile Christian Urban <urbanc@in.tum.de> Fri, 08 May 2009 17:21:20 +0200 various additions https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/fe45fbb111c5/IsaMakefile Christian Urban <urbanc@in.tum.de> Fri, 03 Apr 2009 07:55:07 +0100 made more of the transition from "CookBook" to "ProgTutorial" https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/069d525f8f1d/IsaMakefile Christian Urban <urbanc@in.tum.de> Thu, 19 Mar 2009 13:28:16 +0100 general polishing; added versioning to the document https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/c22b507e1407/IsaMakefile Christian Urban <urbanc@in.tum.de> Sat, 28 Feb 2009 14:18:02 +0000 renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious) https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/bdd82350cf22/IsaMakefile Christian Urban <urbanc@in.tum.de> Mon, 09 Feb 2009 01:23:35 +0000 doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is) https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/5b9c6010897b/IsaMakefile Christian Urban <urbanc@in.tum.de> Sat, 03 Jan 2009 20:44:54 +0000 added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/dee4b3e66dfe/IsaMakefile Christian Urban <urbanc@in.tum.de> Wed, 29 Oct 2008 21:46:33 +0100 Added chapter about writing packages. https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/a9ca91c990ba/IsaMakefile berghofe Fri, 10 Oct 2008 17:08:40 +0200 tuned IsaMakefile https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/b4c31af6af26/IsaMakefile Christian Urban <urbanc@in.tum.de> Thu, 02 Oct 2008 05:30:46 -0400 fixed creation of bibliography https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/8afa1c990a14/IsaMakefile Christian Urban <urbanc@in.tum.de> Thu, 02 Oct 2008 05:28:39 -0400 split the document into smaller pieces; https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/978a3c2ed7ce/IsaMakefile made it standalone by copying antiquote_setup.ML into the repository
added cover page]]> Christian Urban <urbanc@in.tum.de> Fri, 05 Sep 2008 09:47:51 +0200 initial commit of Alexander's files https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/02503850a8cf/IsaMakefile Christian Urban <urbanc@in.tum.de> Wed, 03 Sep 2008 18:12:36 +0200