| 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
|
| Tue, 19 Oct 2010 19:46:25 +0100 |
wenzelm |
more on synchronized variables;
|
file |
diff |
annotate
|
| Tue, 19 Oct 2010 19:20:02 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 19 Oct 2010 18:50:48 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Mon, 18 Oct 2010 21:37:26 +0100 |
wenzelm |
somewhat modernized version of "Thread-safe programming";
|
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 15:35:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 18 Oct 2010 12:33:13 +0100 |
wenzelm |
more on "Basic data types";
|
file |
diff |
annotate
|
| Sun, 17 Oct 2010 20:54:30 +0100 |
wenzelm |
more on "Integers";
|
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
|
| Sat, 16 Oct 2010 21:24:20 +0100 |
wenzelm |
more on "Basic ML data types";
|
file |
diff |
annotate
|
| Sat, 16 Oct 2010 20:02:11 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 16 Oct 2010 11:34:46 +0100 |
wenzelm |
more on "Exceptions";
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 22:26:25 +0100 |
wenzelm |
more on "Exceptions";
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 19:54:34 +0100 |
wenzelm |
more examples;
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 19:19:41 +0100 |
wenzelm |
moved bind_thm(s) to implementation manual;
|
file |
diff |
annotate
|
| Sun, 10 Oct 2010 19:49:18 +0100 |
wenzelm |
modernized version of "Message output channels";
|
file |
diff |
annotate
|
| Sat, 09 Oct 2010 19:05:31 +0100 |
wenzelm |
clarified tag markup;
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 21:49:16 +0100 |
wenzelm |
more on ML antiquotations;
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 20:59:01 +0100 |
wenzelm |
basic setup for ML antiquotations -- with rail diagrams;
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 17:41:51 +0100 |
wenzelm |
eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX);
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 16:50:01 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Thu, 07 Oct 2010 21:24:18 +0100 |
wenzelm |
more on Isabelle/ML;
|
file |
diff |
annotate
|
| Thu, 07 Oct 2010 19:05:42 +0100 |
wenzelm |
basic setup for Chapter 0: Isabelle/ML;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 11:40:01 +0200 |
wenzelm |
salvaged some ML functors from decay, which is the natural consequence of lack of formal checking;
|
file |
diff |
annotate
|
| Wed, 14 Apr 2010 11:24:31 +0200 |
wenzelm |
updated Thm.add_axiom/add_def;
|
file |
diff |
annotate
|
| Mon, 26 Oct 2009 08:54:20 +0100 |
haftmann |
adjusted to changes in corresponding ML code
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 15:57:51 +0200 |
wenzelm |
indicate CRITICAL nature of various setmp combinators;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 20:04:44 +0200 |
wenzelm |
explicitly Unsynchronized;
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 02:20:06 +0100 |
wenzelm |
dummy changes to produce a new changeset of these files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:47:44 +0100 |
wenzelm |
observe usual theory naming conventions;
|
file |
diff |
annotate
|
| Tue, 27 Jan 2009 19:56:20 +0100 |
wenzelm |
added label;
|
file |
diff |
annotate
|
| Thu, 22 Jan 2009 09:04:45 +0100 |
haftmann |
binding replaces bstring
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 16:47:32 +0100 |
haftmann |
binding is alias for Binding.T
|
file |
diff |
annotate
|
| Tue, 23 Dec 2008 21:03:35 +0100 |
wenzelm |
updated thread-safe programming;
|
file |
diff |
annotate
|
| Sat, 06 Dec 2008 08:57:39 +0100 |
haftmann |
adapted to changes in binding module
|
file |
diff |
annotate
|
| Wed, 17 Sep 2008 23:23:49 +0200 |
wenzelm |
threads work only for Poly/ML 5.2 or later;
|
file |
diff |
annotate
|
| Wed, 03 Sep 2008 17:47:30 +0200 |
wenzelm |
Sign.declare_const: Name.binding;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 11:48:54 +0200 |
wenzelm |
type Properties.T;
|
file |
diff |
annotate
|