| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 12:51:08 +0200 |
wenzelm |
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 13:46:18 +0200 |
wenzelm |
more general prover operations;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
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
|
| Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
| Tue, 25 Sep 2012 12:17:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2012 14:51:12 +0200 |
wenzelm |
some actual rich text markup via XML.content_markup;
|
file |
diff |
annotate
|
| Wed, 14 Mar 2012 15:09:33 +0100 |
wenzelm |
prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks;
|
file |
diff |
annotate
|
| Sat, 03 Mar 2012 17:30:14 +0100 |
wenzelm |
tuned signature -- emphasize Isabelle_Process Input vs. Output;
|
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
|
| Tue, 06 Sep 2011 11:25:27 +0200 |
wenzelm |
more specific message channels to avoid potential bottle-neck of raw_messages;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2011 13:55:32 +0200 |
wenzelm |
editable raw text areas: allow user to clear content;
|
file |
diff |
annotate
|
| Sat, 09 Jul 2011 21:53:27 +0200 |
wenzelm |
echo prover input via raw_messages, for improved protocol tracing;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file |
diff |
annotate
| base
|