| Sat, 14 Nov 2015 08:45:52 +0100 |
haftmann |
coalesce permanent_interpretation.ML with interpretation.ML
|
file |
diff |
annotate
|
| Wed, 09 Sep 2015 14:47:41 +0200 |
wenzelm |
eliminated \<Colon> from syntax of constraints;
|
file |
diff |
annotate
|
| Thu, 15 Jan 2015 13:39:41 +0100 |
haftmann |
separate image for prerequisites of codegen tutorial
|
file |
diff |
annotate
|
| Thu, 15 Jan 2015 13:39:41 +0100 |
haftmann |
modernized cartouches
|
file |
diff |
annotate
|
| Sat, 10 Jan 2015 10:24:30 +0100 |
haftmann |
avoid writing into source
|
file |
diff |
annotate
|
| Fri, 09 Jan 2015 08:37:00 +0100 |
haftmann |
prefer option for default code printing width
|
file |
diff |
annotate
|
| Fri, 21 Mar 2014 11:06:39 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 21 Mar 2014 10:45:03 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 17:39:03 +0100 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 14:23:26 +0100 |
wenzelm |
modernized setup;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 14:17:13 +0100 |
wenzelm |
some document antiquotations for Isabelle/jEdit elements;
|
file |
diff |
annotate
|
| Fri, 15 Feb 2013 12:48:20 +0100 |
haftmann |
dropped now obsolete hint;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|