| Wed, 08 May 2019 21:28:34 +0200 |
wenzelm |
clarified InstallPath: relative to self-extracting exe;
|
file |
diff |
annotate
|
| Thu, 14 Feb 2019 14:44:41 +0100 |
wenzelm |
uniform XML header;
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 16:44:04 +0100 |
wenzelm |
tuned default layout;
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 16:33:57 +0100 |
wenzelm |
clarified default layout: global overview left, local document information right;
|
file |
diff |
annotate
|
| Sun, 13 Jan 2019 16:57:25 +0100 |
wenzelm |
File Browser is open by default;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 16:27:21 +0100 |
wenzelm |
clarified signature: fonts are not dependent on GUI;
|
file |
diff |
annotate
|
| Thu, 25 Oct 2018 22:42:17 +0200 |
wenzelm |
updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;
|
file |
diff |
annotate
|
| Thu, 31 Aug 2017 19:34:43 +0200 |
wenzelm |
template for $ISABELLE_HOME_USER/ROOTS;
|
file |
diff |
annotate
|
| Sun, 20 Aug 2017 21:32:26 +0200 |
wenzelm |
enforce Isabelle plugins to be enabled;
|
file |
diff |
annotate
|
| Fri, 19 May 2017 18:10:19 +0200 |
wenzelm |
suppress ANSI control sequences in Scala console;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 15:29:08 +0200 |
wenzelm |
clarified important directories;
|
file |
diff |
annotate
|
| Thu, 04 Feb 2016 16:30:01 +0100 |
wenzelm |
suppress ISABELLE_ROOT after init, to avoid conflict with ISABELLE_HOME when folding file names in "isabelle jedit" command-line tool;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2016 15:18:38 +0100 |
wenzelm |
provide server name uniformly on all platforms;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2015 13:42:31 +0200 |
wenzelm |
more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2015 16:56:46 +0200 |
wenzelm |
clarified init (again): isabelle.Main is responsible to provide basic JVM setup, jedit.jar picks this up (e.g. list of known fonts), plugin cannot be loaded in isolation without isabelle.Main;
|
file |
diff |
annotate
|