| Mon, 27 Jun 2011 22:20:49 +0200 |
wenzelm |
document antiquotations are managed as theory data, with proper name space and entity markup;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 09:19:22 +0200 |
haftmann |
adjusted
|
file |
diff |
annotate
|
| Thu, 16 Sep 2010 17:31:50 +0200 |
haftmann |
moved material intro distribution proper
|
file |
diff |
annotate
|
| Mon, 13 Sep 2010 14:53:56 +0200 |
haftmann |
'class' and 'type' are now antiquoations by default
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 16:51:29 +0200 |
haftmann |
allow explicit parameter for code width
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 15:21:42 +0200 |
haftmann |
distinguish code production and code presentation
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 13:08:58 +0200 |
haftmann |
dropped legacy interfaces
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 16:42:54 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 12:40:20 +0200 |
wenzelm |
proper context for various Thy_Output options, via official configuration options in ML and Isar;
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Sat, 08 May 2010 19:14:13 +0200 |
wenzelm |
unified/simplified Pretty.margin_default;
|
file |
diff |
annotate
|
| Sun, 14 Mar 2010 14:10:21 +0100 |
wenzelm |
localized @{class} and @{type};
|
file |
diff |
annotate
|
| Sat, 20 Feb 2010 07:52:06 +0100 |
haftmann |
adjusted to changes in cs b987b803616d
|
file |
diff |
annotate
|
| Thu, 14 Jan 2010 09:18:08 +0100 |
haftmann |
adjusted to changes in code equation administration
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 20:32:49 +0100 |
haftmann |
option width for Code_Target.code_of
|
file |
diff |
annotate
|
| Wed, 24 Jun 2009 21:28:02 +0200 |
wenzelm |
renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
|
file |
diff |
annotate
|
| Thu, 14 May 2009 15:09:48 +0200 |
haftmann |
merged module code_unit.ML into code.ML
|
file |
diff |
annotate
|
| Thu, 14 May 2009 08:22:06 +0200 |
haftmann |
adapted code tutorial to recent changes in code
|
file |
diff |
annotate
|
| Sat, 25 Apr 2009 08:34:30 +0200 |
haftmann |
adjusted to change in code_wellsorted.ML
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 20:34:11 +0100 |
wenzelm |
moved @{ML_functor} and @{ML_text} to Pure;
|
file |
diff |
annotate
|
| Mon, 02 Mar 2009 16:58:39 +0100 |
haftmann |
reduced confusion code_funcgr vs. code_wellsorted
|
file |
diff |
annotate
|
| Wed, 11 Feb 2009 15:05:25 +0100 |
haftmann |
display code theorems with HOL equality
|
file |
diff |
annotate
|
| Fri, 23 Jan 2009 10:21:48 +0100 |
haftmann |
be more liberal with selected code statements
|
file |
diff |
annotate
|
| Thu, 08 Jan 2009 10:53:48 +0100 |
haftmann |
dded code_thm antiquotation
|
file |
diff |
annotate
|
| Mon, 01 Dec 2008 12:16:59 +0100 |
haftmann |
consider TeX spacing conventions for punctuation marks
|
file |
diff |
annotate
|
| Mon, 10 Nov 2008 09:03:28 +0100 |
haftmann |
clarified verbatim vs. typewriter
|
file |
diff |
annotate
|
| Mon, 03 Nov 2008 14:15:25 +0100 |
haftmann |
improved verbatim mechanism
|
file |
diff |
annotate
|
| Fri, 24 Oct 2008 10:41:13 +0200 |
haftmann |
explicit namings for generated code
|
file |
diff |
annotate
|
| Fri, 17 Oct 2008 10:14:12 +0200 |
haftmann |
added type antiquotation
|
file |
diff |
annotate
|
| Thu, 02 Oct 2008 17:18:22 +0200 |
haftmann |
corrected class antiquotation
|
file |
diff |
annotate
|
| Wed, 01 Oct 2008 08:42:42 +0200 |
haftmann |
added more_antiquote.ML
|
file |
diff |
annotate
|