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