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
|
Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Sat, 17 Jul 2021 23:09:54 +0200 |
wenzelm |
tuned --- based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Fri, 16 Jul 2021 22:25:50 +0200 |
wenzelm |
more robust: for the sake of Isabelle.app on macOS;
|
file |
diff |
annotate
|
Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
| base
|