| Tue, 03 Nov 2009 13:57:03 +0100 |
Christian Urban |
added structure index
|
file |
diff |
annotate
|
| Fri, 30 Oct 2009 09:42:16 +0100 |
haftmann |
modernized
|
file |
diff |
annotate
|
| Wed, 05 Aug 2009 16:00:01 +0200 |
Christian Urban |
tuned the section about printing several bits of inormation
|
file |
diff |
annotate
|
| Thu, 30 Jul 2009 15:51:51 +0200 |
Christian Urban |
polished the package chapter used FOCUS to explain the subproofs
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 09:28:29 +0200 |
Christian Urban |
minor tuning
|
file |
diff |
annotate
|
| Sat, 30 May 2009 17:40:20 +0200 |
Christian Urban |
added some first index-information
|
file |
diff |
annotate
|
| Fri, 08 May 2009 17:21:20 +0200 |
Christian Urban |
a saner method for calling PolyML
|
file |
diff |
annotate
|
| Fri, 03 Apr 2009 07:55:07 +0100 |
Christian Urban |
various additions
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 13:28:16 +0100 |
Christian Urban |
made more of the transition from "CookBook" to "ProgTutorial"
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 14:18:02 +0000 |
Christian Urban |
general polishing; added versioning to the document
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 01:23:35 +0000 |
Christian Urban |
renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
|
file |
diff |
annotate
|
| Sat, 03 Jan 2009 20:44:54 +0000 |
Christian Urban |
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)
|
file |
diff |
annotate
|
| Wed, 29 Oct 2008 21:46:33 +0100 |
Christian Urban |
added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
|
file |
diff |
annotate
|
| Fri, 10 Oct 2008 17:08:40 +0200 |
berghofe |
Added chapter about writing packages.
|
file |
diff |
annotate
|
| Thu, 02 Oct 2008 05:30:46 -0400 |
Christian Urban |
tuned IsaMakefile
|
file |
diff |
annotate
|
| Thu, 02 Oct 2008 05:28:39 -0400 |
Christian Urban |
fixed creation of bibliography
|
file |
diff |
annotate
|
| Fri, 05 Sep 2008 09:47:51 +0200 |
Christian Urban |
split the document into smaller pieces;
|
file |
diff |
annotate
|
| Wed, 03 Sep 2008 18:12:36 +0200 |
Christian Urban |
initial commit of Alexander's files
|
file |
diff |
annotate
|