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 19:49:53 +0200 |
wenzelm |
slightly more readable protocol trace (NB1: prover input is always marked as <prover_command/>; NB2: adding indentation would invalidate the XML);
|
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
|
Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
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 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
|
Thu, 05 Jan 2012 13:27:50 +0100 |
wenzelm |
tuned signature;
|
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
|