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 |