| Sun, 01 Mar 2009 21:48:59 +0000 |
Christian Urban |
updated to repository version; added a section about timing
|
file |
diff |
annotate
|
| Fri, 27 Feb 2009 13:02:19 +0000 |
Christian Urban |
added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section
|
file |
diff |
annotate
|
| Wed, 25 Feb 2009 22:13:41 +0000 |
Christian Urban |
deleted Ad-hoc recipe
|
file |
diff |
annotate
|
| Mon, 23 Feb 2009 00:27:27 +0000 |
Christian Urban |
polished
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 23:19:41 +0000 |
Christian Urban |
updated and added two tentative recipes
|
file |
diff |
annotate
|
| Tue, 17 Feb 2009 02:12:19 +0000 |
Christian Urban |
polished
|
file |
diff |
annotate
|
| Sun, 15 Feb 2009 18:58:21 +0000 |
Christian Urban |
some polishing; split up the file External Solver into two
|
file |
diff |
annotate
|
| Thu, 29 Jan 2009 17:10:13 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Fri, 23 Jan 2009 17:50:35 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Wed, 14 Jan 2009 16:46:07 +0000 |
Christian Urban |
added more to the "new command section" and tuning
|
file |
diff |
annotate
|
| Wed, 07 Jan 2009 16:29:49 +0100 |
boehmes |
Added four recipes.
|
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
|
| Mon, 20 Oct 2008 06:22:11 +0000 |
Christian Urban |
further progress on the parsing section and tuning on the antiqu's
|
file |
diff |
annotate
|
| Fri, 10 Oct 2008 17:08:15 +0200 |
berghofe |
Added chapter about writing packages.
|
file |
diff |
annotate
|
| Thu, 02 Oct 2008 04:48:41 -0400 |
Christian Urban |
added a solution section and some other minor additions
|
file |
diff |
annotate
|
| Wed, 01 Oct 2008 20:09:45 -0400 |
Christian Urban |
polished and added a subdirectory for the recipes
|
file |
diff |
annotate
|
| Wed, 01 Oct 2008 15:40:20 -0400 |
Christian Urban |
various changes by Alex and Christian
|
file |
diff |
annotate
|
| Sat, 06 Sep 2008 04:32:18 +0200 |
Christian Urban |
added verbatim the notes by Jeremy
|
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
|