| Sat, 13 Aug 2022 21:23:59 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 18:06:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 17:18:45 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 12:43:33 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 12:14:56 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Fri, 25 Feb 2022 14:38:16 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 14:33:41 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 20 Feb 2022 22:14:30 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 31 Jul 2021 15:44:11 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 17 Jul 2021 23:09:54 +0200 |
wenzelm |
tuned --- based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 22:07:56 +0200 |
wenzelm |
clarified global state: allow to deactivate main plugin;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 21:35:31 +0200 |
wenzelm |
more robust (again): allow to deactivate main plugin;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 21:11:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
| base
|