| Mon, 04 Dec 2017 22:56:46 +0100 |
wenzelm |
added action to make antiquoted cartouche;
|
file |
diff |
annotate
|
| Sat, 24 Jun 2017 21:23:48 +0200 |
wenzelm |
back to scala-2.12.2, after a41435469559;
|
file |
diff |
annotate
|
| Mon, 22 May 2017 00:23:25 +0200 |
wenzelm |
back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
|
file |
diff |
annotate
|
| Fri, 19 May 2017 16:43:11 +0200 |
wenzelm |
updated to scala-2.12.2;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 20:01:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 06 Nov 2015 23:31:50 +0100 |
wenzelm |
more formal treatment of control symbols;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2015 23:03:46 +0200 |
wenzelm |
added isabelle update_cartouches option -t;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2015 20:45:33 +0200 |
wenzelm |
another antiquotation short form: undecorated cartouche as alias for @{text};
|
file |
diff |
annotate
|
| Mon, 19 Oct 2015 00:19:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 17:24:24 +0200 |
wenzelm |
support control symbol antiquotations;
|
file |
diff |
annotate
|
| Mon, 16 Mar 2015 16:59:59 +0100 |
wenzelm |
proper headers;
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 15:38:08 +0100 |
wenzelm |
support ML antiquotations in Scala;
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 14:18:14 +0100 |
wenzelm |
antiquotations within plain text: Scala version in accordance to ML;
|
file |
diff |
annotate
|