# HG changeset patch
# User wenzelm
# Date 1285698917 -7200
# Node ID 909ee37c34c1faaf71fe83cbf8b6291d9ad7ef2d
# Parent 8c312f0642237cc0a6e60c46d195ab9bec9134b3
tuned README;
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 @@
-Notes on Isabelle/jEdit Prover IDE
+Notes on the Isabelle/jEdit Prover IDE
-Notes on Isabelle/jEdit Prover IDE
+Notes on the Isabelle/jEdit Prover IDE
-- Formal Isabelle/Isar text is checked asynchronously while editing.
+- 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).
-- Prover feedback works via tooltips, syntax highlighting, colors, boxes etc.
- based on semantic markup provided by Isabelle in the background.
+- 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.
-- The modifier key C (CONTROL on Linux or Windows,
+
- Prover feedback works via tooltips, syntax highlighting, colors,
+ boxes etc. based on semantic markup provided by Isabelle in the
+ background.
+
+- Using the mouse together with the modifier key C
+(CONTROL on Linux or Windows,
COMMAND on Mac OS) exposes additional information.
-- Dockable panels (e.g. Output are managed as independent windows by jEdit.
- Multiple instances are possible.
+- Dockable panels (e.g. Output) are managed as independent
+ windows by jEdit, which also allows multiple instances.