| 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
|
| Wed, 30 Sep 2015 20:02:39 +0200 |
wenzelm |
uniform treatment of bootstrap directories;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 23:43:35 +0200 |
wenzelm |
clarified Isabelle_System.init;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 18:39:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 16:28:02 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 15:37:37 +0200 |
wenzelm |
build session within running jEdit;
|
file |
diff |
annotate
|
| Wed, 16 Sep 2015 22:09:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2015 11:32:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 Aug 2015 22:11:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 Aug 2015 20:47:53 +0200 |
wenzelm |
more version information;
|
file |
diff |
annotate
|
| Fri, 21 Aug 2015 17:59:54 +0200 |
wenzelm |
eliminated WinRun4J artifact;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 21:08:47 +0200 |
wenzelm |
clarified modules, like ML version;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 19:15:17 +0200 |
wenzelm |
tuned signature, according to ML version;
|
file |
diff |
annotate
|
| Fri, 19 Jun 2015 15:02:24 +0200 |
wenzelm |
uniform system_mode for build test: avoid spurious output_dir/log that is not required later;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 17:30:53 +0100 |
wenzelm |
added Untyped.method convenience (for *this* class only);
|
file |
diff |
annotate
|
| Wed, 07 May 2014 10:13:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|