src/Tools/jEdit/dist-template/README.html
author wenzelm
Tue, 28 Sep 2010 20:35:17 +0200
changeset 39738 909ee37c34c1
parent 39736 e19cece7d18a
child 39815 37bdc2220cf8
permissions -rw-r--r--
tuned README;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
39591
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
     1
<?xml version="1.0" encoding="ISO-8859-1" ?>
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
     2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
     3
<html xmlns="http://www.w3.org/1999/xhtml">
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
     4
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
     5
<head>
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
     6
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
39738
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
     7
<title>Notes on the Isabelle/jEdit Prover IDE</title>
39591
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
     8
</head>
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
     9
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    10
<body>
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    11
39738
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    12
<h1>Notes on the Isabelle/jEdit Prover IDE</h1>
39591
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    13
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    14
<ul>
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    15
39738
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    16
<li>The original jEdit look-and-feel is generally preserved, although
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    17
  some default properties have been changed to accommodate Isabelle
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    18
  (e.g. main the text area font).</li>
39736
e19cece7d18a tuned README;
wenzelm
parents: 39591
diff changeset
    19
39738
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    20
<li>Formal Isabelle/Isar text is checked asynchronously while editing.
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    21
  The user is in full command of the editor, and the prover refrains
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    22
  from locking portions of the buffer etc.</li>
39591
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    23
39738
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    24
<li>Prover feedback works via tooltips, syntax highlighting, colors,
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    25
  boxes etc. based on semantic markup provided by Isabelle in the
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    26
  background.</li>
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    27
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    28
<li>Using the mouse together with the modifier key <tt>C</tt>
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    29
(<tt>CONTROL</tt> on Linux or Windows,
39736
e19cece7d18a tuned README;
wenzelm
parents: 39591
diff changeset
    30
  <tt>COMMAND</tt> on Mac OS) exposes additional information.</li>
e19cece7d18a tuned README;
wenzelm
parents: 39591
diff changeset
    31
39738
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    32
<li>Dockable panels (e.g. <em>Output</em>) are managed as independent
909ee37c34c1 tuned README;
wenzelm
parents: 39736
diff changeset
    33
  windows by jEdit, which also allows multiple instances.</li>
39591
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    34
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    35
</ul>
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    36
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    37
</body>
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    38
</html>
a43a723753e6 more content for Session_Dockable;
wenzelm
parents:
diff changeset
    39