diff -r 8c312f064223 -r 909ee37c34c1 src/Tools/jEdit/dist-template/README.html --- a/src/Tools/jEdit/dist-template/README.html Tue Sep 28 20:22:58 2010 +0200 +++ b/src/Tools/jEdit/dist-template/README.html Tue Sep 28 20:35:17 2010 +0200 @@ -4,25 +4,33 @@ <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> -<title>Notes on Isabelle/jEdit Prover IDE</title> +<title>Notes on the Isabelle/jEdit Prover IDE</title> </head> <body> -<h1>Notes on Isabelle/jEdit Prover IDE</h1> +<h1>Notes on the Isabelle/jEdit Prover IDE</h1> <ul> -<li>Formal Isabelle/Isar text is checked asynchronously while editing.</li> +<li>The original jEdit look-and-feel is generally preserved, although + some default properties have been changed to accommodate Isabelle + (e.g. main the text area font).</li> -<li>Prover feedback works via tooltips, syntax highlighting, colors, boxes etc. - based on semantic markup provided by Isabelle in the background.</li> +<li>Formal Isabelle/Isar text is checked asynchronously while editing. + The user is in full command of the editor, and the prover refrains + from locking portions of the buffer etc.</li> -<li>The modifier key <tt>C</tt> (<tt>CONTROL</tt> on Linux or Windows, +<li>Prover feedback works via tooltips, syntax highlighting, colors, + boxes etc. based on semantic markup provided by Isabelle in the + background.</li> + +<li>Using the mouse together with the modifier key <tt>C</tt> +(<tt>CONTROL</tt> on Linux or Windows, <tt>COMMAND</tt> on Mac OS) exposes additional information.</li> -<li>Dockable panels (e.g. <b>Output</b> are managed as independent windows by jEdit. - Multiple instances are possible.</li> +<li>Dockable panels (e.g. <em>Output</em>) are managed as independent + windows by jEdit, which also allows multiple instances.</li> </ul>