| Sun, 26 Aug 2012 22:32:22 +0200 |
wenzelm |
updated Theory.begin_theory;
|
file |
diff |
annotate
|
| Wed, 28 Mar 2012 11:17:32 +0200 |
wenzelm |
updated Sign.add_type, Name_Space.declare;
|
file |
diff |
annotate
|
| Wed, 15 Feb 2012 17:49:03 +0100 |
wenzelm |
updated refs;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2011 17:17:49 +0200 |
wenzelm |
clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 20:22:22 +0200 |
wenzelm |
tuned signature: Name.invent and Name.invent_names;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 17:51:49 +0200 |
wenzelm |
simplified Name.variant -- discontinued builtin fold_map;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 16:33:21 +0200 |
wenzelm |
added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 00:01:59 +0200 |
wenzelm |
use @{rail} antiquotation (with some nested markup);
|
file |
diff |
annotate
|
| Tue, 19 Apr 2011 10:50:54 +0200 |
wenzelm |
updated some theory primitives, which now depend on auxiliary context;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 13:48:45 +0200 |
wenzelm |
Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;
|
file |
diff |
annotate
|
| Sun, 05 Dec 2010 13:42:58 +0100 |
wenzelm |
prefer 'notepad' over 'example_proof';
|
file |
diff |
annotate
|
| Sat, 20 Nov 2010 01:07:16 +0100 |
wenzelm |
updated explode vs. raw_explode;
|
file |
diff |
annotate
|
| Sun, 31 Oct 2010 13:26:37 +0100 |
wenzelm |
syntax category "real" subsumes plain "int";
|
file |
diff |
annotate
|
| Sat, 30 Oct 2010 16:33:58 +0200 |
wenzelm |
support for real valued configuration options;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 23:19:52 +0200 |
wenzelm |
discontinued obsolete ML antiquotation @{theory_ref};
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 15:57:16 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 16:14:40 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Thu, 21 Oct 2010 20:00:46 +0100 |
wenzelm |
preliminary material on "Concrete syntax and type-checking";
|
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
|
| Mon, 18 Oct 2010 12:33:13 +0100 |
wenzelm |
more on "Basic data types";
|
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
|