| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 16:07:06 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 11 Jan 2019 22:35:41 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 13 Dec 2018 15:21:34 +0100 |
wenzelm |
clarified modules and signature;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2018 14:46:00 +0100 |
wenzelm |
use Isabelle fonts for all GUI look-and-feels;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|
| Fri, 04 May 2018 16:22:09 +0200 |
wenzelm |
set view title dynamically;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 22:50:56 +0100 |
wenzelm |
prefer typed UUID;
|
file |
diff |
annotate
|
| Thu, 28 Dec 2017 21:45:28 +0100 |
wenzelm |
implicit thy_load context for bibtex files;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 19:46:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 15:32:07 +0100 |
wenzelm |
added isabelle jedit options -B, -P, clarified -R;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 15:55:50 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 17:35:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 17:28:44 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 04 Sep 2017 15:25:25 +0200 |
wenzelm |
more thorough change of syntax style extender: jEdit.propertiesChanged invalidates buffer chunk cache;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2017 15:42:10 +0200 |
wenzelm |
clarified startup sequence;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2017 14:58:19 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Thu, 31 Aug 2017 16:35:09 +0200 |
wenzelm |
tolerate errors in session structure, although this may lead to confusion about theory imports later on;
|
file |
diff |
annotate
|
| Sun, 20 Aug 2017 18:45:42 +0200 |
wenzelm |
more robust plugin restart;
|
file |
diff |
annotate
|
| Sun, 20 Aug 2017 18:30:20 +0200 |
wenzelm |
more robust shutdown, e.g. when plugin is stopped;
|
file |
diff |
annotate
|
| Sun, 06 Aug 2017 17:38:54 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2017 20:19:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2017 20:16:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 05 Jun 2017 23:55:58 +0200 |
wenzelm |
HTML preview via builtin HTTP server;
|
file |
diff |
annotate
|
| Mon, 24 Apr 2017 11:05:24 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 23 Apr 2017 14:27:22 +0200 |
wenzelm |
prefer strict operation (despite 8edca3465758): there might be errors from all_known = true (ae09b9f5980b);
|
file |
diff |
annotate
|
| Fri, 21 Apr 2017 18:57:30 +0200 |
wenzelm |
afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;
|
file |
diff |
annotate
|
| Wed, 19 Apr 2017 16:24:59 +0200 |
wenzelm |
optionally explore all sessions -- potentially slow, e.g. for AFP;
|
file |
diff |
annotate
|
| Tue, 11 Apr 2017 20:27:14 +0200 |
wenzelm |
more informative known_files: known_theories within the local session directory come first;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 16:50:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 16:36:45 +0200 |
wenzelm |
provide session qualifier via resources;
|
file |
diff |
annotate
|
| Sun, 19 Mar 2017 20:28:21 +0100 |
wenzelm |
updated to jedit-5.4.0;
|
file |
diff |
annotate
|
| Sat, 18 Mar 2017 22:11:05 +0100 |
wenzelm |
more informative session result;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2017 21:09:13 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2017 11:25:09 +0100 |
wenzelm |
clarified message: exception output usally happens in a context without extra newline;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 17:24:48 +0100 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 16:58:52 +0100 |
wenzelm |
keep PIDE.plugin for the sake of still open dockables etc. -- jEdit exits these *after* the stop operation;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 16:55:37 +0100 |
wenzelm |
keep style extender for the sake of potentially remaining token markers;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 15:50:28 +0100 |
wenzelm |
dynamic session_options for tuning parameters and initial prover options;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 15:39:15 +0100 |
wenzelm |
strict initialization of plugin.session: no user errors to be expected before session.start;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 14:29:55 +0100 |
wenzelm |
resources are part of early/strict initialization, but session_base is permissive to avoid crash of "isabelle jedit -l BAD";
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 14:08:36 +0100 |
wenzelm |
clarified initialization;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 14:04:58 +0100 |
wenzelm |
clarified initialization;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 13:35:14 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 13:09:08 +0100 |
wenzelm |
more explicit strict vs. non-strict initialization;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 12:41:22 +0100 |
wenzelm |
more explicit options;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 23:25:53 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 22:05:59 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:54:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:43:54 +0100 |
wenzelm |
clarified singleton module;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:36:27 +0100 |
wenzelm |
proper plugin access;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:32:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:26:25 +0100 |
wenzelm |
proper plugin access;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:24:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:14:57 +0100 |
wenzelm |
prefer local variables;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:11:04 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 20:50:21 +0100 |
wenzelm |
avoid global variables with implicit initialization;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 20:39:50 +0100 |
wenzelm |
more robust early initialization;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 19:46:53 +0100 |
wenzelm |
afford early initialization of JEdit_Options, but it may lead to messy exception trace for malformed etc/preferences (see also 6eeaaefcea56);
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 11:49:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 10:49:07 +0100 |
wenzelm |
more robust debugger initialization, e.g. required for GUI components before actual session startup;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 20:33:42 +0100 |
wenzelm |
proper local debugger state, depending on session;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 15:59:00 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 12:04:11 +0100 |
wenzelm |
clarified Session.Phase;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2017 11:20:40 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2017 11:17:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 22:54:48 +0100 |
wenzelm |
update File_Model based on file-system events;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:47:45 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:26:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 08 Jan 2017 17:42:31 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 08 Jan 2017 17:36:00 +0100 |
wenzelm |
avoid immediate editor.flush on buffer events;
|
file |
diff |
annotate
|
| Sun, 08 Jan 2017 16:47:53 +0100 |
wenzelm |
resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 15:16:36 +0100 |
wenzelm |
clarified buffer events: exit model while loading;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 14:34:53 +0100 |
wenzelm |
separate Buffer_Model vs. File_Model;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2017 13:27:18 +0100 |
wenzelm |
manage buffer models as explicit global state;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 21:35:56 +0100 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
| Sun, 18 Dec 2016 21:58:13 +0100 |
wenzelm |
added isabelle jedit -R;
|
file |
diff |
annotate
|
| Thu, 24 Nov 2016 15:21:54 +0100 |
wenzelm |
explicit option editor_generated_input_delay, which is more aggressive by default;
|
file |
diff |
annotate
|
| Wed, 23 Nov 2016 16:15:17 +0100 |
wenzelm |
delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2016 10:20:11 +0100 |
wenzelm |
more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke();
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 17:35:17 +0200 |
wenzelm |
tuned GUI: modal dialog last;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 15:18:14 +0200 |
wenzelm |
separate action;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 14:57:36 +0200 |
wenzelm |
check keymap changes on startup;
|
file |
diff |
annotate
|
| Thu, 14 Apr 2016 12:08:38 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2016 22:48:25 +0200 |
wenzelm |
backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2016 20:52:40 +0200 |
wenzelm |
option "-o" for "isabelle jedit";
|
file |
diff |
annotate
|
| Thu, 04 Feb 2016 21:53:06 +0100 |
wenzelm |
re-init document views for the sake of Text_Overview size;
|
file |
diff |
annotate
|
| Thu, 21 Jan 2016 20:57:37 +0100 |
wenzelm |
report error on internal channel as well: startup_failure dialog may be too late;
|
file |
diff |
annotate
|
| Thu, 21 Jan 2016 20:50:34 +0100 |
wenzelm |
clarified errors: more explicit treatment of uninitialized state;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2016 17:14:34 +0100 |
wenzelm |
more robust event propagation;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2016 15:40:25 +0100 |
wenzelm |
fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2016 20:34:34 +0100 |
wenzelm |
stop dummy sessions as well;
|
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 14:49:39 +0200 |
wenzelm |
more robust system init (again), in case the plugin is started without isabelle.Main;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2015 14:32:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 23:43:35 +0200 |
wenzelm |
clarified Isabelle_System.init;
|
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
|
| Tue, 25 Aug 2015 16:49:14 +0200 |
wenzelm |
avoid deprecated PluginOptions with its unbounded window size;
|
file |
diff |
annotate
|
| Tue, 25 Aug 2015 13:46:24 +0200 |
wenzelm |
clarified undefined_blobs: already loaded theories are suppressed;
|
file |
diff |
annotate
|
| Sat, 15 Aug 2015 18:59:31 +0200 |
wenzelm |
more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 13:53:51 +0200 |
wenzelm |
resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 01:25:00 +0200 |
wenzelm |
clarified init/exit vs. session phase;
|
file |
diff |
annotate
|
| Thu, 30 Jul 2015 14:02:19 +0200 |
wenzelm |
clarified management of (single) session;
|
file |
diff |
annotate
|
| Thu, 07 May 2015 21:30:52 +0200 |
wenzelm |
no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;
|
file |
diff |
annotate
|
| Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Tue, 28 Apr 2015 11:48:44 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 28 Apr 2015 11:47:49 +0200 |
wenzelm |
avoid auto-load dialog while exit/closeAllBuffers is active: the perspective manager happens to indicate this precisely in jEdit 5.2.0;
|
file |
diff |
annotate
|
| Wed, 15 Apr 2015 14:01:28 +0200 |
wenzelm |
obsolete (see also 94b2690ad494);
|
file |
diff |
annotate
|
| Fri, 13 Mar 2015 21:35:48 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 16:36:55 +0100 |
wenzelm |
plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
|
file |
diff |
annotate
|
| Mon, 18 Aug 2014 13:19:04 +0200 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| Wed, 13 Aug 2014 20:21:04 +0200 |
wenzelm |
added option editor_syslog_limit;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 12:06:22 +0200 |
wenzelm |
separate Java FX modules -- no need to include jfxrt.jar by default;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2014 20:40:35 +0200 |
wenzelm |
added system option editor_output_delay: lower value might help big sessions under low-memory situations;
|
file |
diff |
annotate
|
| Fri, 25 Jul 2014 14:15:02 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 15:54:56 +0200 |
wenzelm |
further distinction of Isabelle distribution: alert for identified release candidates;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 11:51:22 +0200 |
wenzelm |
reconfirm continuous checking on startup, to address common trap of disabling it accidentally;
|
file |
diff |
annotate
|