| Fri, 05 Apr 2024 21:21:02 +0200 |
wenzelm |
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 13:37:47 +0200 |
wenzelm |
proper syntax of Scala 3;
|
file |
diff |
annotate
|
| Sat, 19 Jan 2019 07:19:16 +0000 |
haftmann |
self-contained code modules for Haskell
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sun, 30 Dec 2018 10:30:41 +0100 |
Andreas Lochbihler |
separate case converter into a separate theory
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 09:28:30 +0000 |
haftmann |
explicit dependencies for includes
|
file |
diff |
annotate
|
| Thu, 08 Nov 2018 22:29:09 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Wed, 31 Oct 2018 15:53:32 +0100 |
wenzelm |
clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
|
file |
diff |
annotate
|
| Wed, 06 Jun 2018 11:41:54 +0200 |
wenzelm |
eliminated suspicious Unicode;
|
file |
diff |
annotate
|
| Sat, 12 May 2018 11:24:11 +0200 |
Andreas Lochbihler |
new tool Code_Lazy
|
file |
diff |
annotate
|