--- 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 @@
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
-<title>Notes on Isabelle/Isar Prover IDE</title>
+<title>Notes on Isabelle/jEdit Prover IDE</title>
</head>
<body>
-<h1>Notes on Isabelle/Isar Prover IDE</h1>
+<h1>Notes on Isabelle/jEdit Prover IDE</h1>
<ul>
-<li>FIXME</li>
+<li>Formal Isabelle/Isar text is checked asynchronously while editing.</li>
+
+<li>Prover feedback works via tooltips, syntax highlighting, colors, boxes etc.
+ based on semantic markup provided by Isabelle in the background.</li>
-<li>FIXME</li>
+<li>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>
</ul>
--- 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())