| 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
|
| Tue, 03 May 2011 21:07:24 +0200 |
wenzelm |
updated generated files;
|
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
|
| Mon, 08 Nov 2010 00:00:47 +0100 |
wenzelm |
updated generated files;
|
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
|
| Mon, 25 Oct 2010 16:14:40 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 20:57:33 +0100 |
wenzelm |
cumulative update of generated files (since bf164c153d10);
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 15:56:29 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Thu, 24 Jun 2010 21:57:18 +0200 |
wenzelm |
explicit treatment of UTF8 character sequences as Isabelle symbols;
|
file |
diff |
annotate
|
| Mon, 03 May 2010 14:31:33 +0200 |
wenzelm |
ProofContext.init_global;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 17:12:43 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Fri, 05 Feb 2010 14:39:02 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Sun, 08 Nov 2009 21:00:05 +0100 |
wenzelm |
updated functor Theory_Data, Proof_Data, Generic_Data;
|
file |
diff |
annotate
|
| Mon, 26 Oct 2009 08:54:20 +0100 |
haftmann |
adjusted to changes in corresponding ML code
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 17:37:18 +0100 |
wenzelm |
adapted to structure Long_Name;
|
file |
diff |
annotate
|
| Fri, 06 Mar 2009 11:28:07 +0100 |
wenzelm |
recovered generated files;
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 20:55:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 21:39:52 +0100 |
wenzelm |
updated genereted files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:49:39 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:47:44 +0100 |
wenzelm |
observe usual theory naming conventions;
|
file |
diff |
annotate
| base
|