| Fri, 13 Mar 2009 12:21:44 +0100 |
Christian Urban |
some polishing
|
file |
diff |
annotate
|
| Thu, 12 Mar 2009 14:25:35 +0000 |
Christian Urban |
simplified antiquotations
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 22:34:49 +0000 |
Christian Urban |
polished somewhat the recipes and solutions
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 01:43:28 +0000 |
Christian Urban |
partially adapted to new antiquotation infrastructure
|
file |
diff |
annotate
|
| Sun, 01 Mar 2009 21:48:59 +0000 |
Christian Urban |
updated to repository version; added a section about timing
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 14:18:02 +0000 |
Christian Urban |
general polishing; added versioning to the document
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 09:57:08 +0000 |
Christian Urban |
properly handled linenumbers in ML-text and Isar-proofs
|
file |
diff |
annotate
|
| Fri, 16 Jan 2009 14:57:36 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Wed, 14 Jan 2009 23:44:14 +0000 |
Christian Urban |
added an antiquotation option [gray] for gray boxes around displays
|
file |
diff |
annotate
|
| Wed, 14 Jan 2009 17:47:49 +0000 |
Christian Urban |
highligted the background of ML-code
|
file |
diff |
annotate
|
| Sat, 10 Jan 2009 12:57:48 +0000 |
Christian Urban |
tuned and added a section about creating keyword files
|
file |
diff |
annotate
|
| Wed, 17 Dec 2008 05:08:33 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Tue, 16 Dec 2008 17:28:05 +0000 |
Christian Urban |
fixed typos
|
file |
diff |
annotate
|
| Sat, 29 Nov 2008 21:20:18 +0000 |
Christian Urban |
removed the @{ML ...} antiquotation in favour of @{ML_open ...x}
|
file |
diff |
annotate
|
| Fri, 28 Nov 2008 05:19:55 +0100 |
Christian Urban |
completes the recipie on antiquotations
|
file |
diff |
annotate
|
| Thu, 30 Oct 2008 13:36:51 +0100 |
Christian Urban |
hakked latex so that it does not display ML {* *}; general tuning
|
file |
diff |
annotate
|
| Wed, 29 Oct 2008 21:51:25 +0100 |
Christian Urban |
added a section about document antiquotations
|
file |
diff |
annotate
|