| Sun, 05 Dec 2010 13:42:58 +0100 |
wenzelm |
prefer 'notepad' over 'example_proof';
|
file |
diff |
annotate
|
| Sun, 28 Nov 2010 21:07:28 +0100 |
wenzelm |
Parse.liberal_name for document antiquotations and attributes;
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 11:22:18 +0200 |
wenzelm |
proper markup of uninterpreted ML text as @{ML_text}, not @{verbatim};
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 16:14:40 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Mon, 18 Oct 2010 19:06:07 +0100 |
wenzelm |
more robust examples: explicit @{assert} instead of unchecked output;
|
file |
diff |
annotate
|
| Mon, 18 Oct 2010 16:23:55 +0100 |
wenzelm |
more on "Configuration options";
|
file |
diff |
annotate
|
| Mon, 18 Oct 2010 15:35:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 17 Oct 2010 20:25:36 +0100 |
wenzelm |
use continental paragraph style, which works better with mixture of (in)formal text;
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 19:54:34 +0100 |
wenzelm |
more examples;
|
file |
diff |
annotate
|
| Thu, 14 Oct 2010 21:55:21 +0100 |
wenzelm |
more on "Attributes";
|
file |
diff |
annotate
|
| Thu, 14 Oct 2010 21:05:21 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Wed, 13 Oct 2010 21:57:21 +0100 |
wenzelm |
more on "Proof methods";
|
file |
diff |
annotate
|
| Wed, 13 Oct 2010 13:05:23 +0100 |
wenzelm |
examples in Isabelle/HOL;
|
file |
diff |
annotate
|
| Wed, 13 Oct 2010 11:15:15 +0100 |
wenzelm |
more on Proof.theorem;
|
file |
diff |
annotate
|
| Wed, 13 Oct 2010 10:52:15 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|