| Fri, 22 Jun 2018 20:31:49 +0200 |
wenzelm |
clarified document antiquotation @{theory};
|
file |
diff |
annotate
|
| Wed, 23 May 2018 09:37:14 +0000 |
haftmann |
more complete and more correct documentation on code generation
|
file |
diff |
annotate
|
| Thu, 03 Dec 2015 15:33:01 +0100 |
haftmann |
tuned language
|
file |
diff |
annotate
|
| Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
| Thu, 15 Jan 2015 13:39:41 +0100 |
haftmann |
modernized cartouches
|
file |
diff |
annotate
|
| Wed, 01 Jan 2014 01:05:48 +0100 |
haftmann |
fundamental treatment of undefined vs. universally partial replaces code_abort
|
file |
diff |
annotate
|
| Thu, 12 Dec 2013 17:02:52 +0100 |
haftmann |
be more explicit about pre- and postprocessor, particularly code_abbrev
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2013 21:21:47 +0200 |
wenzelm |
more direct inclusion of tikz pictures;
|
file |
diff |
annotate
|
| Sun, 17 Feb 2013 19:39:00 +0100 |
haftmann |
corrected and clarified Code_Binary_Nat vs. Code_Target_Nat
|
file |
diff |
annotate
|
| Fri, 15 Feb 2013 08:31:31 +0100 |
haftmann |
two target language numeral types: integer and natural, as replacement for code_numeral;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|