progtutorial.pdf
Tue, 29 Sep 2009 22:10:48 +0200 Christian Urban started section about storing data
Mon, 28 Sep 2009 23:52:06 +0200 Christian Urban updated foobar_proof example
Mon, 28 Sep 2009 01:21:27 +0200 Christian Urban some polishing
Tue, 25 Aug 2009 00:07:37 +0200 Christian Urban included some tests
Sat, 22 Aug 2009 02:56:08 +0200 Christian Urban polished the commands section
Fri, 21 Aug 2009 16:04:59 +0200 Christian Urban added file for producing a keyword file
Fri, 21 Aug 2009 11:42:14 +0200 Christian Urban split up the first-steps section into two chapters
Thu, 20 Aug 2009 23:30:51 +0200 Christian Urban added an experimental antiquotation to replace eventually ML_response_fake
Thu, 20 Aug 2009 22:30:20 +0200 Christian Urban further polishing of index generation
Thu, 20 Aug 2009 14:19:39 +0200 Christian Urban simplified a bit the index generation
Thu, 20 Aug 2009 10:38:26 +0200 Christian Urban polished
Wed, 19 Aug 2009 09:25:49 +0200 Christian Urban polished the exercises about constructing terms
Wed, 19 Aug 2009 00:49:40 +0200 Christian Urban added exercise
Tue, 18 Aug 2009 01:05:56 +0200 Christian Urban polished
Sun, 16 Aug 2009 22:14:36 +0200 Christian Urban tuned
Sun, 16 Aug 2009 21:54:47 +0200 Christian Urban improvements from the workshop
Thu, 13 Aug 2009 21:32:10 +0200 Christian Urban suggestions by Peter Homeier
Wed, 05 Aug 2009 16:00:01 +0200 Christian Urban tuned the section about printing several bits of inormation
Wed, 05 Aug 2009 09:24:18 +0200 Christian Urban added a comment for printing out information and tuned some examples accordingly
Wed, 05 Aug 2009 08:58:28 +0200 Christian Urban polished comment for error function
Tue, 04 Aug 2009 16:18:39 +0200 Christian Urban added an antiquotation for printing the raw proof state; polished the example about proof state
Mon, 03 Aug 2009 16:47:01 +0200 Christian Urban tuned
Mon, 03 Aug 2009 14:01:57 +0200 Christian Urban replaced "writeln" with "tracing"
Sun, 02 Aug 2009 08:44:41 +0200 Christian Urban updated to Isabelle changes and merged sections in the FirstSteps chapter
Sat, 01 Aug 2009 08:59:41 +0200 Christian Urban some general polishing
Thu, 30 Jul 2009 16:02:26 +0200 Christian Urban tuned figure placement
Thu, 30 Jul 2009 15:51:51 +0200 Christian Urban polished the package chapter used FOCUS to explain the subproofs
Thu, 30 Jul 2009 11:38:52 +0200 Christian Urban made changes for SUBPROOF and sat_tac
Tue, 28 Jul 2009 12:11:33 +0200 Christian Urban slightly changed exercises about rev_sum
Tue, 28 Jul 2009 08:53:05 +0200 Christian Urban added more to the ML-antiquotation section
less more (0) -100 -50 -30 tip