| Mon, 25 Jul 2022 11:19:08 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2022 16:11:14 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2022 22:29:26 +0200 |
wenzelm |
support for Isabelle/Scala/Java modules in Isabelle/ML;
|
file |
diff |
annotate
|
| Tue, 05 Jul 2022 13:12:04 +0200 |
wenzelm |
switch to Scala 3;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 13:19:15 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2022 13:42:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2022 11:09:31 +0200 |
wenzelm |
clarified types and defaults;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 23:27:26 +0200 |
wenzelm |
support XZ compression in Isabelle/ML;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2022 10:11:06 +0200 |
wenzelm |
clarified management of interpreter threads: more generic;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 11:49:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 11:28:50 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 10:07:17 +0200 |
wenzelm |
clarified signature, based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 10:03:38 +0200 |
wenzelm |
tuned signature;
|
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
|