| Tue, 05 Jul 2022 13:12:04 +0200 |
wenzelm |
switch to Scala 3;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2022 12:29:39 +0200 |
wenzelm |
revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2022 09:58:49 +0200 |
wenzelm |
removed unused flag (see 25c6423ec538);
|
file |
diff |
annotate
|
| Mon, 15 Nov 2021 17:26:31 +0100 |
wenzelm |
more symbolic latex_output via XML;
|
file |
diff |
annotate
|
| Mon, 15 Nov 2021 11:38:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 20:25:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 25 May 2021 22:28:39 +0200 |
wenzelm |
compose Latex text as XML, output exported YXML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2020 13:28:28 +0200 |
wenzelm |
clarified signature: proper eval/print via interpret;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 16:04:53 +0200 |
wenzelm |
proper error positions;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 15:51:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 13:22:17 +0200 |
wenzelm |
breakable scala_name;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 22:20:21 +0200 |
wenzelm |
check free-form Scala source;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 20:52:55 +0200 |
wenzelm |
clarified static_check: avoid accidental evaluation;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 20:43:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
| base
|