Mon, 07 Mar 2016 18:20:22 +0100 |
wenzelm |
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
|
file |
diff |
annotate
|
Mon, 29 Feb 2016 20:35:06 +0100 |
wenzelm |
isabelle_process executable no longer supports writable heap images;
|
file |
diff |
annotate
|
Sun, 14 Feb 2016 13:23:12 +0100 |
wenzelm |
more careful quoting for the sake of Windows;
|
file |
diff |
annotate
|
Sun, 14 Feb 2016 12:50:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 13 Feb 2016 20:41:56 +0100 |
wenzelm |
clarified bash process -- similar to ML version;
|
file |
diff |
annotate
|
Wed, 30 Sep 2015 14:32:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 20 Aug 2015 21:08:47 +0200 |
wenzelm |
clarified modules, like ML version;
|
file |
diff |
annotate
|
Tue, 12 Aug 2014 15:46:20 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
Wed, 07 May 2014 10:13:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 30 Apr 2014 22:34:11 +0200 |
wenzelm |
some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
|
file |
diff |
annotate
|
Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
Mon, 30 Dec 2013 20:35:17 +0100 |
wenzelm |
added system option "jedit_print_mode";
|
file |
diff |
annotate
|
Thu, 01 Aug 2013 22:19:32 +0200 |
wenzelm |
more explicit read-only non-TTY mode;
|
file |
diff |
annotate
|
Mon, 24 Jun 2013 23:33:14 +0200 |
wenzelm |
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
|
file |
diff |
annotate
|
Wed, 27 Feb 2013 19:39:16 +0100 |
wenzelm |
eliminated pointless re-ified errors;
|
file |
diff |
annotate
|
Mon, 17 Dec 2012 11:07:20 +0100 |
wenzelm |
offer sessions of group "main" first to increase chances that the user makes a sensible choice;
|
file |
diff |
annotate
|
Thu, 06 Dec 2012 17:59:37 +0100 |
wenzelm |
more uniform default logic, using settings, options, args etc.;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 22:25:15 +0100 |
wenzelm |
select logic session names, not paths;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 19:25:57 +0100 |
wenzelm |
clarified logic argument: session name, not path name;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
Thu, 04 Oct 2012 19:31:50 +0200 |
wenzelm |
refined rich tooltip options;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 19:35:21 +0200 |
wenzelm |
more informative tooltip: default value;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 15:47:42 +0200 |
wenzelm |
some support to organize options in sections;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 19:56:08 +0200 |
wenzelm |
proper multi-line tooltip;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 19:49:30 +0200 |
wenzelm |
more detailed option tooltip;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 17:13:17 +0200 |
wenzelm |
more systematic JEdit_Options.make_component;
|
file |
diff |
annotate
|