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
|
Sat, 03 Sep 2011 21:15:35 +0200 |
wenzelm |
Document.removed_versions on Scala side;
|
file |
diff |
annotate
|
Fri, 02 Sep 2011 21:48:27 +0200 |
wenzelm |
raw message function "assign_execs" avoids full overhead of decoding and caching message body;
|
file |
diff |
annotate
|
Fri, 02 Sep 2011 11:52:13 +0200 |
wenzelm |
clarified define_command: store name as structural information;
|
file |
diff |
annotate
|
Thu, 01 Sep 2011 13:39:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 01 Sep 2011 13:34:45 +0200 |
wenzelm |
more abstract Document.Node.Name;
|
file |
diff |
annotate
|
Wed, 31 Aug 2011 20:47:33 +0200 |
wenzelm |
explicit cancel_execution before queueing new edits -- potential performance improvement for machines with few cores;
|
file |
diff |
annotate
|
Wed, 31 Aug 2011 17:22:49 +0200 |
wenzelm |
tuned Commands_Changed: cover nodes as well;
|
file |
diff |
annotate
|
Tue, 30 Aug 2011 16:04:26 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 29 Aug 2011 21:55:49 +0200 |
wenzelm |
actual auto loading of required files;
|
file |
diff |
annotate
|
Mon, 29 Aug 2011 16:38:56 +0200 |
wenzelm |
some dialog for auto loading of required files (still inactive);
|
file |
diff |
annotate
|
Fri, 26 Aug 2011 22:14:12 +0200 |
wenzelm |
tuned Session.edit_node: update_perspective based on last_exec_offset;
|
file |
diff |
annotate
|
Fri, 26 Aug 2011 16:06:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 26 Aug 2011 15:09:54 +0200 |
wenzelm |
refined document state assignment: observe perspective, more explicit assignment message;
|
file |
diff |
annotate
|
Thu, 25 Aug 2011 17:38:12 +0200 |
wenzelm |
maintain last_execs assignment on Scala side;
|
file |
diff |
annotate
|
Thu, 25 Aug 2011 16:44:06 +0200 |
wenzelm |
propagate information about last command with exec state assignment through document model;
|
file |
diff |
annotate
|
Thu, 25 Aug 2011 13:24:41 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|