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 |
Thu, 15 Mar 2012 00:10:45 +0100 | wenzelm | some support for outer syntax keyword declarations within theory header; | file | diff | annotate |
Sat, 03 Mar 2012 18:18:39 +0100 | wenzelm | clarified terminology of raw protocol messages; | file | diff | annotate |
Thu, 05 Jan 2012 13:24:29 +0100 | wenzelm | tuned signature -- emphasize special nature of protocol commands; | 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 | base |