| Wed, 28 Mar 2012 10:37:30 +0200 |
bulwahn |
improving spelling
|
file |
diff |
annotate
|
| Wed, 25 Jan 2012 21:14:00 +0100 |
wenzelm |
tuned ML infixes;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:40:14 +0200 |
wenzelm |
more precise syntax diagram;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 17:42:21 +0200 |
wenzelm |
simplified keyword markup (without formal checking);
|
file |
diff |
annotate
|
| Sun, 01 May 2011 00:01:59 +0200 |
wenzelm |
use @{rail} antiquotation (with some nested markup);
|
file |
diff |
annotate
|
| Wed, 15 Dec 2010 13:35:50 +0100 |
wenzelm |
more correct ML snippets that are unchecked;
|
file |
diff |
annotate
|
| 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
|
| Fri, 12 Nov 2010 14:06:37 +0100 |
wenzelm |
never open Unsynchronized;
|
file |
diff |
annotate
|
| Tue, 02 Nov 2010 21:59:21 +0100 |
wenzelm |
more on naming tactics;
|
file |
diff |
annotate
|
| Tue, 02 Nov 2010 21:21:07 +0100 |
wenzelm |
more on "Time" in Isabelle/ML;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 17:25:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 15:57:16 +0200 |
wenzelm |
tuned;
|
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, 25 Oct 2010 11:16:23 +0200 |
wenzelm |
added ML antiquotation @{assert};
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 20:43:48 +0100 |
wenzelm |
more on "Canonical argument order";
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 16:57:55 +0100 |
wenzelm |
more on "Style and orthography";
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 12:02:00 +0100 |
wenzelm |
more on "Naming conventions";
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 11:27:05 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 21 Oct 2010 21:53:34 +0100 |
wenzelm |
more on "Style and orthography";
|
file |
diff |
annotate
|
| Wed, 20 Oct 2010 21:22:56 +0100 |
wenzelm |
more on "Association lists", based on more succinct version of older material;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2010 20:47:06 +0100 |
wenzelm |
clarified "lists as a set-like container";
|
file |
diff |
annotate
|
| Tue, 19 Oct 2010 21:01:34 +0100 |
wenzelm |
more on messages;
|
file |
diff |
annotate
|