Tue, 11 Sep 2012 20:22:03 +0200 |
wenzelm |
prefer tuning parameters as public methods (again) -- to allow overriding in applications;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 19:19:39 +0200 |
wenzelm |
more options;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 21:17:32 +0200 |
wenzelm |
option jedit_load_delay;
|
file |
diff |
annotate
|
Fri, 07 Sep 2012 15:00:03 +0200 |
wenzelm |
postpone update of text overview panel after incoming session edits, to improve reactivity of editing massive theories like src/HOL/Multivariate_Analysis;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 17:19:48 +0200 |
wenzelm |
clarified handling of raw output messages;
|
file |
diff |
annotate
|
Wed, 22 Aug 2012 16:24:52 +0200 |
wenzelm |
clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
|
file |
diff |
annotate
|
Tue, 21 Aug 2012 12:15:25 +0200 |
wenzelm |
clarified initialization of Thy_Load, Thy_Info, Session;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 12:26:02 +0200 |
wenzelm |
check_errors for cumulative session content;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 11:37:58 +0200 |
wenzelm |
added jedit option -d;
|
file |
diff |
annotate
|
Fri, 10 Aug 2012 15:14:45 +0200 |
wenzelm |
apply all text edits to each node, before determining the resulting doc_edits -- allow several iterations to consolidate spans etc.;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 20:28:35 +0200 |
wenzelm |
more token markers, based on actual outer syntax;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 19:16:58 +0200 |
wenzelm |
simplified process startup phases: INIT suffices for is_ready;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 17:08:22 +0200 |
wenzelm |
prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 16:34:15 +0200 |
wenzelm |
prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 15:01:48 +0200 |
wenzelm |
simplified Document.Node.Header -- internalized errors;
|
file |
diff |
annotate
|
Sun, 22 Jul 2012 00:00:22 +0200 |
wenzelm |
determine source dependencies, relatively to preloaded theories;
|
file |
diff |
annotate
|
Tue, 29 May 2012 21:48:05 +0200 |
wenzelm |
clarified prover startup: no timeout, read stderr more carefully;
|
file |
diff |
annotate
|
Tue, 29 May 2012 18:00:54 +0200 |
wenzelm |
more explicit treatment of return code vs. session phase;
|
file |
diff |
annotate
|
Sat, 21 Apr 2012 14:53:04 +0200 |
wenzelm |
some builtin session timing;
|
file |
diff |
annotate
|
Fri, 20 Apr 2012 20:29:44 +0200 |
wenzelm |
simplified internal actor protocol;
|
file |
diff |
annotate
|
Sat, 07 Apr 2012 16:59:27 +0200 |
wenzelm |
init message not bad;
|
file |
diff |
annotate
|
Fri, 06 Apr 2012 11:49:08 +0200 |
wenzelm |
discontinued Document.update_perspective side-entry (cf. 546adfa8a6fc) -- NB: re-assignment is always necessary due to non-monotonic cancel_execution;
|
file |
diff |
annotate
|
Thu, 05 Apr 2012 14:14:51 +0200 |
wenzelm |
less aggressive discontinue_execution before document update, to avoid unstable execs that need to be re-assigned;
|
file |
diff |
annotate
|
Mon, 19 Mar 2012 23:08:27 +0100 |
wenzelm |
explicit propagation of assignment event, even if changed command set is empty;
|
file |
diff |
annotate
|
Thu, 15 Mar 2012 14:39:42 +0100 |
wenzelm |
more recent recent_syntax, e.g. relevant for document rendering during startup;
|
file |
diff |
annotate
|
Thu, 15 Mar 2012 14:13:49 +0100 |
wenzelm |
basic support for outer syntax keywords in theory header;
|
file |
diff |
annotate
|
Thu, 15 Mar 2012 11:37:56 +0100 |
wenzelm |
maintain Version.syntax within document state;
|
file |
diff |
annotate
|
Sat, 03 Mar 2012 18:18:39 +0100 |
wenzelm |
clarified terminology of raw protocol messages;
|
file |
diff |
annotate
|
Sat, 03 Mar 2012 17:30:14 +0100 |
wenzelm |
tuned signature -- emphasize Isabelle_Process Input vs. Output;
|
file |
diff |
annotate
|
Sat, 03 Mar 2012 16:59:30 +0100 |
wenzelm |
explicit syslog_limit reduces danger of low-level message flooding;
|
file |
diff |
annotate
|
Thu, 01 Mar 2012 11:28:33 +0100 |
wenzelm |
clarified document nodes (full import graph) vs. node_status (non-preloaded theories);
|
file |
diff |
annotate
|
Wed, 29 Feb 2012 23:09:06 +0100 |
wenzelm |
clarified module Thy_Load;
|
file |
diff |
annotate
|
Sun, 26 Feb 2012 19:36:35 +0100 |
wenzelm |
tuned signature (in accordance with ML);
|
file |
diff |
annotate
|
Sun, 26 Feb 2012 17:54:35 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 23 Feb 2012 20:24:05 +0100 |
wenzelm |
streamlined abstract datatype;
|
file |
diff |
annotate
|
Tue, 21 Feb 2012 13:37:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 12 Jan 2012 20:58:17 +0100 |
wenzelm |
added cat_lines convenience;
|
file |
diff |
annotate
|
Thu, 05 Jan 2012 14:48:41 +0100 |
wenzelm |
prefer raw_message for protocol implementation;
|
file |
diff |
annotate
|
Thu, 05 Jan 2012 14:34:18 +0100 |
wenzelm |
prefer raw_message for protocol implementation;
|
file |
diff |
annotate
|
Thu, 05 Jan 2012 14:15:37 +0100 |
wenzelm |
prefer raw_message for protocol implementation;
|
file |
diff |
annotate
|
Thu, 05 Jan 2012 13:27:50 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 01 Dec 2011 14:29:14 +0100 |
wenzelm |
clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
|
file |
diff |
annotate
|
Tue, 29 Nov 2011 20:18:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
Fri, 25 Nov 2011 21:29:11 +0100 |
wenzelm |
explicit change_parser thread, which avoids undirected Future.fork with its tendency towards hundreds of worker threads;
|
file |
diff |
annotate
|
Fri, 25 Nov 2011 18:37:14 +0100 |
wenzelm |
retain stderr and include it in syslog, which is buffered and thus increases the chance that users see remains from crashes etc.;
|
file |
diff |
annotate
|
Sat, 22 Oct 2011 23:28:24 +0200 |
wenzelm |
class Volatile as abstract datatype;
|
file |
diff |
annotate
|
Mon, 17 Oct 2011 11:24:22 +0200 |
wenzelm |
always use sockets on Windows/Cygwin;
|
file |
diff |
annotate
|
Sun, 25 Sep 2011 17:25:34 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Sep 2011 13:48:59 +0200 |
wenzelm |
more uniform defaults;
|
file |
diff |
annotate
|
Fri, 23 Sep 2011 13:44:31 +0200 |
wenzelm |
explicit option for socket vs. fifo communication;
|
file |
diff |
annotate
|
Sun, 18 Sep 2011 00:05:22 +0200 |
wenzelm |
graph traversal in topological order;
|
file |
diff |
annotate
|
Sat, 17 Sep 2011 17:55:39 +0200 |
wenzelm |
sane default for class Thy_Load;
|
file |
diff |
annotate
|
Wed, 07 Sep 2011 21:38:48 +0200 |
wenzelm |
clarified terminology;
|
file |
diff |
annotate
|
Wed, 07 Sep 2011 11:00:39 +0200 |
wenzelm |
added "cancel" button based on cancel_execution, not interrupt (cf. 156be0e43336);
|
file |
diff |
annotate
|
Tue, 06 Sep 2011 11:25:27 +0200 |
wenzelm |
more specific message channels to avoid potential bottle-neck of raw_messages;
|
file |
diff |
annotate
|
Tue, 06 Sep 2011 11:18:19 +0200 |
wenzelm |
buffer prover messages to prevent overloading of session_actor input channel -- which is critical due to synchronous messages wrt. GUI thread;
|
file |
diff |
annotate
|
Tue, 06 Sep 2011 10:27:04 +0200 |
wenzelm |
more abstract receiver interface;
|
file |
diff |
annotate
|
Mon, 05 Sep 2011 23:26:41 +0200 |
wenzelm |
commands_change_delay within main actor -- prevents overloading of commands_change_buffer input channel;
|
file |
diff |
annotate
|
Mon, 05 Sep 2011 20:30:37 +0200 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|