| Sat, 08 Dec 2012 22:19:24 +0100 |
wenzelm |
basic monitor panel, using the powerful jfreechart library;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2012 12:22:55 +0100 |
wenzelm |
tuned signature in accordance to document operations;
|
file |
diff |
annotate
|
| Tue, 04 Dec 2012 15:47:37 +0100 |
wenzelm |
emit bulk edits on initialization of multiple buffers, which greatly improves performance when starting big sessions (e.g. JinjaThreads);
|
file |
diff |
annotate
|
| Wed, 28 Nov 2012 17:18:53 +0100 |
wenzelm |
some support for ML runtime statistics;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Sun, 18 Nov 2012 15:28:58 +0100 |
wenzelm |
update options via protocol;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2012 14:41:41 +0200 |
wenzelm |
Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2012 14:03:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 20 Sep 2012 19:23:05 +0200 |
wenzelm |
more management of Invoke_Scala tasks;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2012 14:51:12 +0200 |
wenzelm |
some actual rich text markup via XML.content_markup;
|
file |
diff |
annotate
|
| 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
|