changeset 53852 | c7707223d782 |
parent 53803 | b6a947a2c615 |
child 53886 | c83727c7a510 |
--- a/NEWS Tue Sep 24 19:57:44 2013 +0200 +++ b/NEWS Tue Sep 24 20:24:14 2013 +0200 @@ -57,6 +57,9 @@ *** Prover IDE -- Isabelle/Scala/jEdit *** +* Separate manual "jedit" for Isabelle/jEdit, see isabelle doc or +Documentation panel. + * Improved "Theories" panel: Continuous checking of proof document (visible and required parts) may be controlled explicitly, using check box or shortcut "C+e ENTER". Individual theory nodes may be marked