# HG changeset patch
# User wenzelm
# Date 1285692670 -7200
# Node ID e19cece7d18a975a442548d291e9df75747ac682
# Parent 969ede84aac09c09dc5ce79627f76676f26754d4
tuned README;
diff -r 969ede84aac0 -r e19cece7d18a src/Tools/jEdit/dist-template/README.html
--- a/src/Tools/jEdit/dist-template/README.html Tue Sep 28 15:58:31 2010 +0200
+++ b/src/Tools/jEdit/dist-template/README.html Tue Sep 28 18:51:10 2010 +0200
@@ -4,18 +4,25 @@
-Notes on Isabelle/Isar Prover IDE
+Notes on Isabelle/jEdit Prover IDE
-Notes on Isabelle/Isar Prover IDE
+Notes on Isabelle/jEdit Prover IDE
-- FIXME
+- Formal Isabelle/Isar text is checked asynchronously while editing.
+
+- Prover feedback works via tooltips, syntax highlighting, colors, boxes etc.
+ based on semantic markup provided by Isabelle in the background.
-- FIXME
+- 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.
diff -r 969ede84aac0 -r e19cece7d18a src/Tools/jEdit/src/jedit/session_dockable.scala
--- a/src/Tools/jEdit/src/jedit/session_dockable.scala Tue Sep 28 15:58:31 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/session_dockable.scala Tue Sep 28 18:51:10 2010 +0200
@@ -23,7 +23,7 @@
{
/* main tabs */
- private val readme = new HTML_Panel(Isabelle.system, "SansSerif", 12)
+ private val readme = new HTML_Panel(Isabelle.system, "SansSerif", 14)
readme.render_document(Isabelle.system.try_read(List("$JEDIT_HOME/README.html")))
private val syslog = new TextArea(Isabelle.session.syslog())