| Sun, 15 Apr 2012 14:50:09 +0200 |
wenzelm |
some coverage of bundled declarations;
|
file |
diff |
annotate
|
| Sun, 15 Apr 2012 13:21:13 +0200 |
wenzelm |
more uniform outline;
|
file |
diff |
annotate
|
| Sun, 15 Apr 2012 13:15:14 +0200 |
wenzelm |
some coverage of unnamed contexts, which can be nested within other targets;
|
file |
diff |
annotate
|
| Mon, 26 Mar 2012 15:38:09 +0200 |
wenzelm |
updated theory header syntax and related details;
|
file |
diff |
annotate
|
| Sat, 17 Mar 2012 22:46:19 +0100 |
wenzelm |
more precise syntax;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2011 17:44:41 +0100 |
wenzelm |
'lemmas' / 'theorems' commands allow 'for' fixes and standardize the result before storing;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 22:02:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 May 2011 17:06:35 +0200 |
wenzelm |
optional description for 'attribute_setup' and 'method_setup';
|
file |
diff |
annotate
|
| Thu, 05 May 2011 23:23:02 +0200 |
wenzelm |
tuned some syntax names;
|
file |
diff |
annotate
|
| Thu, 05 May 2011 23:15:11 +0200 |
wenzelm |
tuned rail diagrams and layout;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 15:07:36 +0200 |
wenzelm |
formal Base theory;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 20:34:34 +0200 |
wenzelm |
eliminated some duplicate "def" positions;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 20:14:19 +0200 |
wenzelm |
'axiomatization' is global;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 17:06:40 +0200 |
wenzelm |
more precise rail diagrams;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 01:05:50 +0200 |
wenzelm |
modernized rail diagrams using @{rail} antiquotation;
|
file |
diff |
annotate
|
| Thu, 06 Jan 2011 21:06:18 +0100 |
ballarin |
Diagnostic command to show locale dependencies.
|
file |
diff |
annotate
|
| Thu, 06 Jan 2011 21:06:17 +0100 |
ballarin |
Documentation for 'interpret' and 'sublocale' with mixins.
|
file |
diff |
annotate
|
| Fri, 17 Dec 2010 18:10:37 +0100 |
wenzelm |
Command 'type_synonym' (with single argument) supersedes 'types' (legacy feature);
|
file |
diff |
annotate
|
| Sun, 28 Nov 2010 21:07:28 +0100 |
wenzelm |
Parse.liberal_name for document antiquotations and attributes;
|
file |
diff |
annotate
|
| Sun, 28 Nov 2010 16:15:31 +0100 |
wenzelm |
added 'syntax_declaration' command;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 16:16:10 +0200 |
wenzelm |
eliminated obsolete \_ escape;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 22:59:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 22:39:59 +0200 |
wenzelm |
moved FOL/ex/Iff_Oracle.thy to HOL/ex where it is more accessible to most readers of isar-ref;
|
file |
diff |
annotate
|
| Sun, 24 Oct 2010 21:25:13 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 10 Oct 2010 23:16:24 +0200 |
krauss |
do not mention unqualified names, now that 'global' and 'local' are gone
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 19:19:41 +0100 |
wenzelm |
moved bind_thm(s) to implementation manual;
|
file |
diff |
annotate
|
| Sat, 09 Oct 2010 19:49:19 +0100 |
wenzelm |
prefer checked antiquotations;
|
file |
diff |
annotate
|
| Wed, 08 Sep 2010 13:22:24 +0200 |
haftmann |
removed ancient constdefs command
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 14:18:09 +0200 |
wenzelm |
discontinued obsolete 'global' and 'local' commands;
|
file |
diff |
annotate
|