| 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
|