| Thu, 27 Feb 2014 14:07:04 +0100 |
wenzelm |
more formal Document.Blobs;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Tue, 11 Feb 2014 17:44:29 +0100 |
wenzelm |
common Command.Chunk for command source and auxiliary files (static Symbol.Index without actual String content);
|
file |
diff |
annotate
|
| Tue, 04 Feb 2014 09:04:59 +0000 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 15:29:40 +0100 |
wenzelm |
propagate update of outer syntax keywords: global propertiesChanged, buffer TokenMarker.markTokens, text area repainting;
|
file |
diff |
annotate
|
| Fri, 22 Nov 2013 20:36:57 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 20:53:43 +0100 |
wenzelm |
clarified Document.Blobs environment vs. actual edits of auxiliary files;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 19:33:27 +0100 |
wenzelm |
maintain blobs within document state: digest + text in ML, digest-only in Scala;
|
file |
diff |
annotate
|
| Sat, 16 Nov 2013 12:29:10 +0100 |
wenzelm |
more distinctive Isabelle_Process.Output vs. Isabelle_Process.Protocol_Output;
|
file |
diff |
annotate
|
| Fri, 15 Nov 2013 19:31:10 +0100 |
wenzelm |
more specific Protocol_Output: empty message.body, main content via bytes/text;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2013 22:08:21 +0200 |
wenzelm |
public access for protocol handlers and protocol commands -- to be used within reason;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 11:18:36 +0200 |
wenzelm |
cancel_query via direct access to the exec_id of the running query process;
|
file |
diff |
annotate
|
| Tue, 30 Jul 2013 21:22:37 +0200 |
wenzelm |
less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 14:37:59 +0200 |
wenzelm |
show displaced messages (e.g. from protocol thread) as raw output;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 13:00:36 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Sat, 13 Jul 2013 17:05:22 +0200 |
wenzelm |
update_options with full update, e.g. required for re-assignment of Command.prints;
|
file |
diff |
annotate
|
| Tue, 09 Jul 2013 13:17:22 +0200 |
wenzelm |
tuned protocol terminology;
|
file |
diff |
annotate
|
| Fri, 05 Jul 2013 16:01:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 05 Jul 2013 15:38:03 +0200 |
wenzelm |
explicit module Document_ID as source of globally unique identifiers across ML/Scala;
|
file |
diff |
annotate
|
| Wed, 22 May 2013 16:13:52 +0200 |
wenzelm |
stop protocol handlers as well;
|
file |
diff |
annotate
|
| Wed, 22 May 2013 14:10:45 +0200 |
wenzelm |
explicit management of Session.Protocol_Handlers, with protocol state and functions;
|
file |
diff |
annotate
|
| Mon, 20 May 2013 16:17:56 +0200 |
wenzelm |
more explicit Session.update_options as source of Global_Options event;
|
file |
diff |
annotate
|
| Mon, 29 Apr 2013 15:47:42 +0200 |
wenzelm |
clarified module dependencies: avoid Properties and Document introding minimal "PIDE";
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 20:34:15 +0200 |
wenzelm |
public Isabelle_Process.xml_cache (thread-safe);
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 20:16:52 +0200 |
wenzelm |
just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;
|
file |
diff |
annotate
|
| Sun, 10 Feb 2013 22:03:21 +0100 |
wenzelm |
avoid crash (NPE) when properties are changed during prover startup (e.g. by font scaling);
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 17:51:50 +0100 |
wenzelm |
more systematic task statistics;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2013 22:02:44 +0100 |
wenzelm |
ignore vacuous edits (e.g. stemming from Plugin.init_models) to avoid pointless protocol round-trip, which could lead to painting of outdated snapshot in the meantime (notably on Windows);
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 13:54:45 +0100 |
wenzelm |
improved Monitor_Dockable, based on ML_Statistics operations;
|
file |
diff |
annotate
|
| Sun, 16 Dec 2012 18:44:27 +0100 |
wenzelm |
tuned signature: use thy_load to adapt to prover/editor specific view on sources;
|
file |
diff |
annotate
|