--- a/.hgignore Wed Jun 08 21:40:54 2011 +0200
+++ b/.hgignore Wed Jun 08 22:06:05 2011 +0200
@@ -21,3 +21,4 @@
^doc-src/.*\.log
^doc-src/.*\.out
^doc-src/.*\.toc
+^src/Tools/jEdit/dist/
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/README.html Wed Jun 08 22:06:05 2011 +0200
@@ -0,0 +1,137 @@
+<?xml version="1.0" encoding="UTF-8" ?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
+<title>Notes on the Isabelle/jEdit Prover IDE</title>
+</head>
+
+<body>
+
+<h2>The Isabelle/jEdit Prover IDE</h2>
+
+<ul>
+
+<li>The original jEdit look-and-feel is generally preserved, although
+ some default properties have been changed to accommodate Isabelle
+ (e.g. the text area font).</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>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. <em>Output</em>) are managed as independent
+ windows by jEdit, which also allows multiple instances.</li>
+
+</ul>
+
+
+<h2>Isabelle symbols and fonts</h2>
+
+<ul>
+
+ <li>Isabelle supports infinitely many symbols:<br/>
+ α, β, γ, …<br/>
+ ∀, ∃, ∨, ∧, ⟶, ⟷, …<br/>
+ ≤, ≥, ⊓, ⊔, …<br/>
+ ℵ, △, ∇, …<br/>
+ <tt>\<foo></tt>, <tt>\<bar></tt>, <tt>\<baz></tt>, …<br/>
+ </li>
+
+ <li>A default mapping relates some Isabelle symbols to Unicode points
+ (see <tt>$ISABELLE_HOME/etc/symbols</tt> and <tt>$ISABELLE_HOME_USER/etc/symbols</tt>).
+ </li>
+
+ <li>The <em>IsabelleText</em> font ensures that Unicode points are actually
+ seen on the screen (or printer).
+ </li>
+
+ <li>Input methods:
+ <ul>
+ <li>copy/paste from decoded source files</li>
+ <li>copy/paste from prover output</li>
+ <li>completion provided by Isabelle plugin, e.g.<br/>
+
+ <table border="1">
+ <tr><th><b>name</b></th> <th><b>abbreviation</b></th> <th><b>symbol</b></th></tr>
+
+ <tr><td>lambda</td> <td></td> <td>λ</td></tr>
+ <tr><td>Rightarrow</td> <td><tt>=></tt></td> <td>⇒</td></tr>
+ <tr><td>Longrightarrow</td> <td><tt>==></tt></td> <td>⟹</td></tr>
+
+ <tr><td>And</td> <td><tt>!!</tt></td> <td>⋀</td></tr>
+ <tr><td>equiv</td> <td><tt>==</tt></td> <td>≡</td></tr>
+
+ <tr><td>forall</td> <td><tt>!</tt></td> <td>∀</td></tr>
+ <tr><td>exists</td> <td><tt>?</tt></td> <td>∃</td></tr>
+ <tr><td>longrightarrow</td> <td><tt>--></tt></td> <td>⟶</td></tr>
+ <tr><td>and</td> <td><tt>/\</tt></td> <td>∧</td></tr>
+ <tr><td>or</td> <td><tt>\/</tt></td> <td>∨</td></tr>
+ <tr><td>not</td> <td><tt>~ </tt></td> <td>¬</td></tr>
+ <tr><td>noteq</td> <td><tt>~=</tt></td> <td>≠</td></tr>
+ <tr><td>in</td> <td><tt>:</tt></td> <td>∈</td></tr>
+ <tr><td>notin</td> <td><tt>~:</tt></td> <td>∉</td></tr>
+ </table>
+ </li>
+ </ul>
+ </li>
+
+ <li><b>NOTE:</b> The above abbreviations refer to the input method.
+ The logical notation provides ASCII alternatives that often
+ coincide, but deviate occasionally.
+ </li>
+
+ <li><b>NOTE:</b> Generic jEdit abbreviations or plugins perform similar
+ source replacement operations; this works for Isabelle as long
+ as the Unicode sequences coincide with the symbol mapping.
+ </li>
+
+</ul>
+
+
+<h2>Limitations and workrounds (January 2011)</h2>
+
+<ul>
+ <li>No way to start/stop prover or switch to a different logic.<br/>
+ <em>Workaround:</em> Change options and restart editor.</li>
+
+ <li>Multiple theory buffers cannot depend on each other, imports are
+ resolved via the file-system.<br/>
+ <em>Workaround:</em> Save/reload files manually.</li>
+
+ <li>No reclaiming of old/unused document versions in prover or
+ editor.<br/>
+ <em>Workaround:</em> Avoid large files; restart after a few hours of use.</li>
+
+ <li>Incremental reparsing sometimes produces unexpected command
+ spans.<br/>
+ <em>Workaround:</em> Cut/paste larger parts or reload buffer.</li>
+
+ <li>Command execution sometimes gets stuck (purple background).<br/>
+ <em>Workaround:</em> Force reparsing as above.</li>
+
+ <li>Odd behavior of some diagnostic commands, notably those
+ starting external processes asynchronously
+ (e.g. <tt>thy_deps</tt>, <tt>sledgehammer</tt>).<br/>
+ <em>Workaround:</em> Avoid such commands.</li>
+
+ <li>No support for non-local markup, e.g. commands reporting on
+ previous commands (proof end on proof head), or markup produced by
+ loading external files.</li>
+
+ <li>General lack of various conveniences known from Proof
+ General.</li>
+</ul>
+
+</body>
+</html>
+
--- a/src/Tools/jEdit/dist-template/README.html Wed Jun 08 21:40:54 2011 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,137 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" ?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
-
-<head>
-<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
-<title>Notes on the Isabelle/jEdit Prover IDE</title>
-</head>
-
-<body>
-
-<h2>The Isabelle/jEdit Prover IDE</h2>
-
-<ul>
-
-<li>The original jEdit look-and-feel is generally preserved, although
- some default properties have been changed to accommodate Isabelle
- (e.g. the text area font).</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>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. <em>Output</em>) are managed as independent
- windows by jEdit, which also allows multiple instances.</li>
-
-</ul>
-
-
-<h2>Isabelle symbols and fonts</h2>
-
-<ul>
-
- <li>Isabelle supports infinitely many symbols:<br/>
- α, β, γ, …<br/>
- ∀, ∃, ∨, ∧, ⟶, ⟷, …<br/>
- ≤, ≥, ⊓, ⊔, …<br/>
- ℵ, △, ∇, …<br/>
- <tt>\<foo></tt>, <tt>\<bar></tt>, <tt>\<baz></tt>, …<br/>
- </li>
-
- <li>A default mapping relates some Isabelle symbols to Unicode points
- (see <tt>$ISABELLE_HOME/etc/symbols</tt> and <tt>$ISABELLE_HOME_USER/etc/symbols</tt>).
- </li>
-
- <li>The <em>IsabelleText</em> font ensures that Unicode points are actually
- seen on the screen (or printer).
- </li>
-
- <li>Input methods:
- <ul>
- <li>copy/paste from decoded source files</li>
- <li>copy/paste from prover output</li>
- <li>completion provided by Isabelle plugin, e.g.<br/>
-
- <table border="1">
- <tr><th><b>name</b></th> <th><b>abbreviation</b></th> <th><b>symbol</b></th></tr>
-
- <tr><td>lambda</td> <td></td> <td>λ</td></tr>
- <tr><td>Rightarrow</td> <td><tt>=></tt></td> <td>⇒</td></tr>
- <tr><td>Longrightarrow</td> <td><tt>==></tt></td> <td>⟹</td></tr>
-
- <tr><td>And</td> <td><tt>!!</tt></td> <td>⋀</td></tr>
- <tr><td>equiv</td> <td><tt>==</tt></td> <td>≡</td></tr>
-
- <tr><td>forall</td> <td><tt>!</tt></td> <td>∀</td></tr>
- <tr><td>exists</td> <td><tt>?</tt></td> <td>∃</td></tr>
- <tr><td>longrightarrow</td> <td><tt>--></tt></td> <td>⟶</td></tr>
- <tr><td>and</td> <td><tt>/\</tt></td> <td>∧</td></tr>
- <tr><td>or</td> <td><tt>\/</tt></td> <td>∨</td></tr>
- <tr><td>not</td> <td><tt>~ </tt></td> <td>¬</td></tr>
- <tr><td>noteq</td> <td><tt>~=</tt></td> <td>≠</td></tr>
- <tr><td>in</td> <td><tt>:</tt></td> <td>∈</td></tr>
- <tr><td>notin</td> <td><tt>~:</tt></td> <td>∉</td></tr>
- </table>
- </li>
- </ul>
- </li>
-
- <li><b>NOTE:</b> The above abbreviations refer to the input method.
- The logical notation provides ASCII alternatives that often
- coincide, but deviate occasionally.
- </li>
-
- <li><b>NOTE:</b> Generic jEdit abbreviations or plugins perform similar
- source replacement operations; this works for Isabelle as long
- as the Unicode sequences coincide with the symbol mapping.
- </li>
-
-</ul>
-
-
-<h2>Limitations and workrounds (January 2011)</h2>
-
-<ul>
- <li>No way to start/stop prover or switch to a different logic.<br/>
- <em>Workaround:</em> Change options and restart editor.</li>
-
- <li>Multiple theory buffers cannot depend on each other, imports are
- resolved via the file-system.<br/>
- <em>Workaround:</em> Save/reload files manually.</li>
-
- <li>No reclaiming of old/unused document versions in prover or
- editor.<br/>
- <em>Workaround:</em> Avoid large files; restart after a few hours of use.</li>
-
- <li>Incremental reparsing sometimes produces unexpected command
- spans.<br/>
- <em>Workaround:</em> Cut/paste larger parts or reload buffer.</li>
-
- <li>Command execution sometimes gets stuck (purple background).<br/>
- <em>Workaround:</em> Force reparsing as above.</li>
-
- <li>Odd behavior of some diagnostic commands, notably those
- starting external processes asynchronously
- (e.g. <tt>thy_deps</tt>, <tt>sledgehammer</tt>).<br/>
- <em>Workaround:</em> Avoid such commands.</li>
-
- <li>No support for non-local markup, e.g. commands reporting on
- previous commands (proof end on proof head), or markup produced by
- loading external files.</li>
-
- <li>General lack of various conveniences known from Proof
- General.</li>
-</ul>
-
-</body>
-</html>
-
--- a/src/Tools/jEdit/dist-template/modes/isabelle-session.xml Wed Jun 08 21:40:54 2011 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,41 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE MODE SYSTEM "xmode.dtd">
-
-<!-- Isabelle session mode -->
-<MODE>
- <PROPS>
- <PROPERTY NAME="commentStart" VALUE="(*"/>
- <PROPERTY NAME="commentEnd" VALUE="*)"/>
- <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
- <PROPERTY NAME="unalignedOpenBrackets" VALUE="(" />
- <PROPERTY NAME="unalignedCloseBrackets" VALUE=")" />
- <PROPERTY NAME="tabSize" VALUE="2" />
- <PROPERTY NAME="indentSize" VALUE="2" />
- </PROPS>
- <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
- <SPAN TYPE="COMMENT1">
- <BEGIN>(*</BEGIN>
- <END>*)</END>
- </SPAN>
- <SPAN TYPE="COMMENT3">
- <BEGIN>{*</BEGIN>
- <END>*}</END>
- </SPAN>
- <SPAN TYPE="LITERAL1">
- <BEGIN>`</BEGIN>
- <END>`</END>
- </SPAN>
- <SPAN TYPE="LITERAL3">
- <BEGIN>"</BEGIN>
- <END>"</END>
- </SPAN>
- <KEYWORDS>
- <KEYWORD1>session</KEYWORD1>
- <KEYWORD2>parent</KEYWORD2>
- <KEYWORD2>imports</KEYWORD2>
- <KEYWORD2>uses</KEYWORD2>
- <KEYWORD2>options</KEYWORD2>
- <KEYWORD2>dependencies</KEYWORD2>
- </KEYWORDS>
- </RULES>
-</MODE>
--- a/src/Tools/jEdit/dist-template/modes/isabelle.xml Wed Jun 08 21:40:54 2011 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,41 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE MODE SYSTEM "xmode.dtd">
-
-<!-- Isabelle theory mode -->
-<MODE>
- <PROPS>
- <PROPERTY NAME="commentStart" VALUE="(*"/>
- <PROPERTY NAME="commentEnd" VALUE="*)"/>
- <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
- <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(" />
- <PROPERTY NAME="unalignedCloseBrackets" VALUE=")]}" />
- <PROPERTY NAME="tabSize" VALUE="2" />
- <PROPERTY NAME="indentSize" VALUE="2" />
- </PROPS>
- <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
- <SPAN TYPE="COMMENT1">
- <BEGIN>(*</BEGIN>
- <END>*)</END>
- </SPAN>
- <SPAN TYPE="COMMENT3">
- <BEGIN>{*</BEGIN>
- <END>*}</END>
- </SPAN>
- <SPAN TYPE="LITERAL1">
- <BEGIN>`</BEGIN>
- <END>`</END>
- </SPAN>
- <SPAN TYPE="LITERAL3">
- <BEGIN>"</BEGIN>
- <END>"</END>
- </SPAN>
- <KEYWORDS>
- <KEYWORD2>header</KEYWORD2>
- <KEYWORD1>theory</KEYWORD1>
- <KEYWORD2>imports</KEYWORD2>
- <KEYWORD2>uses</KEYWORD2>
- <KEYWORD2>begin</KEYWORD2>
- <KEYWORD2>end</KEYWORD2>
- </KEYWORDS>
- </RULES>
-</MODE>
--- a/src/Tools/jEdit/dist-template/properties/jedit.props Wed Jun 08 21:40:54 2011 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,213 +0,0 @@
-#jEdit properties
-buffer.deepIndent=false
-buffer.encoding=UTF-8-Isabelle
-buffer.indentSize=2
-buffer.lineSeparator=\n
-buffer.maxLineLen=100
-buffer.noTabs=true
-buffer.sidekick.keystroke-parse=false
-buffer.tabSize=2
-console.encoding=UTF-8
-console.font=IsabelleText
-console.fontsize=14
-delete-line.shortcut=A+d
-delete.shortcut2=C+d
-encoding.opt-out.Big5-HKSCS=true
-encoding.opt-out.Big5=true
-encoding.opt-out.COMPOUND_TEXT=true
-encoding.opt-out.EUC-JP=true
-encoding.opt-out.EUC-KR=true
-encoding.opt-out.GB18030=true
-encoding.opt-out.GB2312=true
-encoding.opt-out.GBK=true
-encoding.opt-out.IBM-Thai=true
-encoding.opt-out.IBM00858=true
-encoding.opt-out.IBM01140=true
-encoding.opt-out.IBM01141=true
-encoding.opt-out.IBM01142=true
-encoding.opt-out.IBM01143=true
-encoding.opt-out.IBM01144=true
-encoding.opt-out.IBM01145=true
-encoding.opt-out.IBM01146=true
-encoding.opt-out.IBM01147=true
-encoding.opt-out.IBM01148=true
-encoding.opt-out.IBM01149=true
-encoding.opt-out.IBM037=true
-encoding.opt-out.IBM1026=true
-encoding.opt-out.IBM1047=true
-encoding.opt-out.IBM273=true
-encoding.opt-out.IBM277=true
-encoding.opt-out.IBM278=true
-encoding.opt-out.IBM280=true
-encoding.opt-out.IBM284=true
-encoding.opt-out.IBM285=true
-encoding.opt-out.IBM297=true
-encoding.opt-out.IBM420=true
-encoding.opt-out.IBM424=true
-encoding.opt-out.IBM437=true
-encoding.opt-out.IBM500=true
-encoding.opt-out.IBM775=true
-encoding.opt-out.IBM850=true
-encoding.opt-out.IBM852=true
-encoding.opt-out.IBM855=true
-encoding.opt-out.IBM857=true
-encoding.opt-out.IBM860=true
-encoding.opt-out.IBM861=true
-encoding.opt-out.IBM862=true
-encoding.opt-out.IBM863=true
-encoding.opt-out.IBM864=true
-encoding.opt-out.IBM865=true
-encoding.opt-out.IBM866=true
-encoding.opt-out.IBM868=true
-encoding.opt-out.IBM869=true
-encoding.opt-out.IBM870=true
-encoding.opt-out.IBM871=true
-encoding.opt-out.IBM918=true
-encoding.opt-out.ISO-2022-CN=true
-encoding.opt-out.ISO-2022-JP-2=true
-encoding.opt-out.ISO-2022-JP=true
-encoding.opt-out.ISO-2022-KR=true
-encoding.opt-out.ISO-8859-13=true
-encoding.opt-out.ISO-8859-2=true
-encoding.opt-out.ISO-8859-3=true
-encoding.opt-out.ISO-8859-4=true
-encoding.opt-out.ISO-8859-5=true
-encoding.opt-out.ISO-8859-6=true
-encoding.opt-out.ISO-8859-7=true
-encoding.opt-out.ISO-8859-8=true
-encoding.opt-out.ISO-8859-9=true
-encoding.opt-out.JIS_X0201=true
-encoding.opt-out.JIS_X0212-1990=true
-encoding.opt-out.KOI8-R=true
-encoding.opt-out.KOI8-U=true
-encoding.opt-out.Shift_JIS=true
-encoding.opt-out.TIS-620=true
-encoding.opt-out.UTF-16=true
-encoding.opt-out.UTF-16BE=true
-encoding.opt-out.UTF-16LE=true
-encoding.opt-out.UTF-32=true
-encoding.opt-out.UTF-32BE=true
-encoding.opt-out.UTF-32LE=true
-encoding.opt-out.X-UTF-32BE-BOM=true
-encoding.opt-out.X-UTF-32LE-BOM=true
-encoding.opt-out.windows-1250=true
-encoding.opt-out.windows-1251=true
-encoding.opt-out.windows-1253=true
-encoding.opt-out.windows-1254=true
-encoding.opt-out.windows-1255=true
-encoding.opt-out.windows-1256=true
-encoding.opt-out.windows-1257=true
-encoding.opt-out.windows-1258=true
-encoding.opt-out.windows-31j=true
-encoding.opt-out.x-Big5-Solaris=true
-encoding.opt-out.x-EUC-TW=true
-encoding.opt-out.x-IBM1006=true
-encoding.opt-out.x-IBM1025=true
-encoding.opt-out.x-IBM1046=true
-encoding.opt-out.x-IBM1097=true
-encoding.opt-out.x-IBM1098=true
-encoding.opt-out.x-IBM1112=true
-encoding.opt-out.x-IBM1122=true
-encoding.opt-out.x-IBM1123=true
-encoding.opt-out.x-IBM1124=true
-encoding.opt-out.x-IBM1381=true
-encoding.opt-out.x-IBM1383=true
-encoding.opt-out.x-IBM33722=true
-encoding.opt-out.x-IBM737=true
-encoding.opt-out.x-IBM834=true
-encoding.opt-out.x-IBM856=true
-encoding.opt-out.x-IBM874=true
-encoding.opt-out.x-IBM875=true
-encoding.opt-out.x-IBM921=true
-encoding.opt-out.x-IBM922=true
-encoding.opt-out.x-IBM930=true
-encoding.opt-out.x-IBM933=true
-encoding.opt-out.x-IBM935=true
-encoding.opt-out.x-IBM937=true
-encoding.opt-out.x-IBM939=true
-encoding.opt-out.x-IBM942=true
-encoding.opt-out.x-IBM942C=true
-encoding.opt-out.x-IBM943=true
-encoding.opt-out.x-IBM943C=true
-encoding.opt-out.x-IBM948=true
-encoding.opt-out.x-IBM949=true
-encoding.opt-out.x-IBM949C=true
-encoding.opt-out.x-IBM950=true
-encoding.opt-out.x-IBM964=true
-encoding.opt-out.x-IBM970=true
-encoding.opt-out.x-ISCII91=true
-encoding.opt-out.x-ISO-2022-CN-CNS=true
-encoding.opt-out.x-ISO-2022-CN-GB=true
-encoding.opt-out.x-JIS0208=true
-encoding.opt-out.x-JISAutoDetect=true
-encoding.opt-out.x-Johab=true
-encoding.opt-out.x-MS932_0213=true
-encoding.opt-out.x-MS950-HKSCS=true
-encoding.opt-out.x-MacArabic=true
-encoding.opt-out.x-MacCentralEurope=true
-encoding.opt-out.x-MacCroatian=true
-encoding.opt-out.x-MacCyrillic=true
-encoding.opt-out.x-MacDingbat=true
-encoding.opt-out.x-MacGreek=true
-encoding.opt-out.x-MacHebrew=true
-encoding.opt-out.x-MacIceland=true
-encoding.opt-out.x-MacRoman=true
-encoding.opt-out.x-MacRomania=true
-encoding.opt-out.x-MacSymbol=true
-encoding.opt-out.x-MacThai=true
-encoding.opt-out.x-MacTurkish=true
-encoding.opt-out.x-MacUkraine=true
-encoding.opt-out.x-PCK=true
-encoding.opt-out.x-SJIS_0213=true
-encoding.opt-out.x-UTF-16LE-BOM=true
-encoding.opt-out.x-euc-jp-linux=true
-encoding.opt-out.x-eucJP-Open=true
-encoding.opt-out.x-iso-8859-11=true
-encoding.opt-out.x-mswin-936=true
-encoding.opt-out.x-windows-50220=true
-encoding.opt-out.x-windows-50221=true
-encoding.opt-out.x-windows-874=true
-encoding.opt-out.x-windows-949=true
-encoding.opt-out.x-windows-950=true
-encoding.opt-out.x-windows-iso2022jp=true
-encodingDetectors=BOM XML-PI buffer-local-property
-end.shortcut=
-fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
-firstTime=false
-home.shortcut=
-insert-newline-indent.shortcut=
-insert-newline.shortcut=ENTER
-isabelle-output.dock-position=bottom
-isabelle-output.height=174
-isabelle-output.width=412
-isabelle-session.dock-position=bottom
-line-end.shortcut=END
-line-home.shortcut=HOME
-lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel
-mode.isabelle.customSettings=true
-mode.isabelle.folding=sidekick
-mode.isabelle.sidekick.showStatusWindow.label=true
-print.font=IsabelleText
-restore.remote=false
-restore=false
-sidekick-tree.dock-position=right
-sidekick.buffer-save-parse=true
-sidekick.complete-delay=300
-sidekick.splitter.location=721
-tip.show=false
-twoStageSave=false
-view.antiAlias=standard
-view.blockCaret=true
-view.caretBlink=false
-view.eolMarkers=false
-view.extendedState=0
-view.font=IsabelleText
-view.fontsize=18
-view.fracFontMetrics=false
-view.gutter.fontsize=12
-view.gutter.selectionAreaWidth=18
-view.height=787
-view.middleMousePaste=true
-view.showToolbar=false
-view.thickCaret=true
-view.width=1072
--- a/src/Tools/jEdit/lib/Tools/jedit Wed Jun 08 21:40:54 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit Wed Jun 08 22:06:05 2011 +0200
@@ -196,10 +196,11 @@
rm -rf dist || failed
mkdir -p dist dist/classes || failed
+
cp -a "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." dist/.
-
cp -a "${MORE_FILES[@]}" dist/classes/.
- cp -a dist-template/. dist/.
+ cp src/jEdit.props dist/properties/.
+ cp -a src/modes/. dist/modes/.
perl -i -e 'while (<>) { if (m/NAME="javacc"/) {
print qq,<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>\n\n,;
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src/jEdit.props Wed Jun 08 22:06:05 2011 +0200
@@ -0,0 +1,213 @@
+#jEdit properties
+buffer.deepIndent=false
+buffer.encoding=UTF-8-Isabelle
+buffer.indentSize=2
+buffer.lineSeparator=\n
+buffer.maxLineLen=100
+buffer.noTabs=true
+buffer.sidekick.keystroke-parse=false
+buffer.tabSize=2
+console.encoding=UTF-8
+console.font=IsabelleText
+console.fontsize=14
+delete-line.shortcut=A+d
+delete.shortcut2=C+d
+encoding.opt-out.Big5-HKSCS=true
+encoding.opt-out.Big5=true
+encoding.opt-out.COMPOUND_TEXT=true
+encoding.opt-out.EUC-JP=true
+encoding.opt-out.EUC-KR=true
+encoding.opt-out.GB18030=true
+encoding.opt-out.GB2312=true
+encoding.opt-out.GBK=true
+encoding.opt-out.IBM-Thai=true
+encoding.opt-out.IBM00858=true
+encoding.opt-out.IBM01140=true
+encoding.opt-out.IBM01141=true
+encoding.opt-out.IBM01142=true
+encoding.opt-out.IBM01143=true
+encoding.opt-out.IBM01144=true
+encoding.opt-out.IBM01145=true
+encoding.opt-out.IBM01146=true
+encoding.opt-out.IBM01147=true
+encoding.opt-out.IBM01148=true
+encoding.opt-out.IBM01149=true
+encoding.opt-out.IBM037=true
+encoding.opt-out.IBM1026=true
+encoding.opt-out.IBM1047=true
+encoding.opt-out.IBM273=true
+encoding.opt-out.IBM277=true
+encoding.opt-out.IBM278=true
+encoding.opt-out.IBM280=true
+encoding.opt-out.IBM284=true
+encoding.opt-out.IBM285=true
+encoding.opt-out.IBM297=true
+encoding.opt-out.IBM420=true
+encoding.opt-out.IBM424=true
+encoding.opt-out.IBM437=true
+encoding.opt-out.IBM500=true
+encoding.opt-out.IBM775=true
+encoding.opt-out.IBM850=true
+encoding.opt-out.IBM852=true
+encoding.opt-out.IBM855=true
+encoding.opt-out.IBM857=true
+encoding.opt-out.IBM860=true
+encoding.opt-out.IBM861=true
+encoding.opt-out.IBM862=true
+encoding.opt-out.IBM863=true
+encoding.opt-out.IBM864=true
+encoding.opt-out.IBM865=true
+encoding.opt-out.IBM866=true
+encoding.opt-out.IBM868=true
+encoding.opt-out.IBM869=true
+encoding.opt-out.IBM870=true
+encoding.opt-out.IBM871=true
+encoding.opt-out.IBM918=true
+encoding.opt-out.ISO-2022-CN=true
+encoding.opt-out.ISO-2022-JP-2=true
+encoding.opt-out.ISO-2022-JP=true
+encoding.opt-out.ISO-2022-KR=true
+encoding.opt-out.ISO-8859-13=true
+encoding.opt-out.ISO-8859-2=true
+encoding.opt-out.ISO-8859-3=true
+encoding.opt-out.ISO-8859-4=true
+encoding.opt-out.ISO-8859-5=true
+encoding.opt-out.ISO-8859-6=true
+encoding.opt-out.ISO-8859-7=true
+encoding.opt-out.ISO-8859-8=true
+encoding.opt-out.ISO-8859-9=true
+encoding.opt-out.JIS_X0201=true
+encoding.opt-out.JIS_X0212-1990=true
+encoding.opt-out.KOI8-R=true
+encoding.opt-out.KOI8-U=true
+encoding.opt-out.Shift_JIS=true
+encoding.opt-out.TIS-620=true
+encoding.opt-out.UTF-16=true
+encoding.opt-out.UTF-16BE=true
+encoding.opt-out.UTF-16LE=true
+encoding.opt-out.UTF-32=true
+encoding.opt-out.UTF-32BE=true
+encoding.opt-out.UTF-32LE=true
+encoding.opt-out.X-UTF-32BE-BOM=true
+encoding.opt-out.X-UTF-32LE-BOM=true
+encoding.opt-out.windows-1250=true
+encoding.opt-out.windows-1251=true
+encoding.opt-out.windows-1253=true
+encoding.opt-out.windows-1254=true
+encoding.opt-out.windows-1255=true
+encoding.opt-out.windows-1256=true
+encoding.opt-out.windows-1257=true
+encoding.opt-out.windows-1258=true
+encoding.opt-out.windows-31j=true
+encoding.opt-out.x-Big5-Solaris=true
+encoding.opt-out.x-EUC-TW=true
+encoding.opt-out.x-IBM1006=true
+encoding.opt-out.x-IBM1025=true
+encoding.opt-out.x-IBM1046=true
+encoding.opt-out.x-IBM1097=true
+encoding.opt-out.x-IBM1098=true
+encoding.opt-out.x-IBM1112=true
+encoding.opt-out.x-IBM1122=true
+encoding.opt-out.x-IBM1123=true
+encoding.opt-out.x-IBM1124=true
+encoding.opt-out.x-IBM1381=true
+encoding.opt-out.x-IBM1383=true
+encoding.opt-out.x-IBM33722=true
+encoding.opt-out.x-IBM737=true
+encoding.opt-out.x-IBM834=true
+encoding.opt-out.x-IBM856=true
+encoding.opt-out.x-IBM874=true
+encoding.opt-out.x-IBM875=true
+encoding.opt-out.x-IBM921=true
+encoding.opt-out.x-IBM922=true
+encoding.opt-out.x-IBM930=true
+encoding.opt-out.x-IBM933=true
+encoding.opt-out.x-IBM935=true
+encoding.opt-out.x-IBM937=true
+encoding.opt-out.x-IBM939=true
+encoding.opt-out.x-IBM942=true
+encoding.opt-out.x-IBM942C=true
+encoding.opt-out.x-IBM943=true
+encoding.opt-out.x-IBM943C=true
+encoding.opt-out.x-IBM948=true
+encoding.opt-out.x-IBM949=true
+encoding.opt-out.x-IBM949C=true
+encoding.opt-out.x-IBM950=true
+encoding.opt-out.x-IBM964=true
+encoding.opt-out.x-IBM970=true
+encoding.opt-out.x-ISCII91=true
+encoding.opt-out.x-ISO-2022-CN-CNS=true
+encoding.opt-out.x-ISO-2022-CN-GB=true
+encoding.opt-out.x-JIS0208=true
+encoding.opt-out.x-JISAutoDetect=true
+encoding.opt-out.x-Johab=true
+encoding.opt-out.x-MS932_0213=true
+encoding.opt-out.x-MS950-HKSCS=true
+encoding.opt-out.x-MacArabic=true
+encoding.opt-out.x-MacCentralEurope=true
+encoding.opt-out.x-MacCroatian=true
+encoding.opt-out.x-MacCyrillic=true
+encoding.opt-out.x-MacDingbat=true
+encoding.opt-out.x-MacGreek=true
+encoding.opt-out.x-MacHebrew=true
+encoding.opt-out.x-MacIceland=true
+encoding.opt-out.x-MacRoman=true
+encoding.opt-out.x-MacRomania=true
+encoding.opt-out.x-MacSymbol=true
+encoding.opt-out.x-MacThai=true
+encoding.opt-out.x-MacTurkish=true
+encoding.opt-out.x-MacUkraine=true
+encoding.opt-out.x-PCK=true
+encoding.opt-out.x-SJIS_0213=true
+encoding.opt-out.x-UTF-16LE-BOM=true
+encoding.opt-out.x-euc-jp-linux=true
+encoding.opt-out.x-eucJP-Open=true
+encoding.opt-out.x-iso-8859-11=true
+encoding.opt-out.x-mswin-936=true
+encoding.opt-out.x-windows-50220=true
+encoding.opt-out.x-windows-50221=true
+encoding.opt-out.x-windows-874=true
+encoding.opt-out.x-windows-949=true
+encoding.opt-out.x-windows-950=true
+encoding.opt-out.x-windows-iso2022jp=true
+encodingDetectors=BOM XML-PI buffer-local-property
+end.shortcut=
+fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
+firstTime=false
+home.shortcut=
+insert-newline-indent.shortcut=
+insert-newline.shortcut=ENTER
+isabelle-output.dock-position=bottom
+isabelle-output.height=174
+isabelle-output.width=412
+isabelle-session.dock-position=bottom
+line-end.shortcut=END
+line-home.shortcut=HOME
+lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel
+mode.isabelle.customSettings=true
+mode.isabelle.folding=sidekick
+mode.isabelle.sidekick.showStatusWindow.label=true
+print.font=IsabelleText
+restore.remote=false
+restore=false
+sidekick-tree.dock-position=right
+sidekick.buffer-save-parse=true
+sidekick.complete-delay=300
+sidekick.splitter.location=721
+tip.show=false
+twoStageSave=false
+view.antiAlias=standard
+view.blockCaret=true
+view.caretBlink=false
+view.eolMarkers=false
+view.extendedState=0
+view.font=IsabelleText
+view.fontsize=18
+view.fracFontMetrics=false
+view.gutter.fontsize=12
+view.gutter.selectionAreaWidth=18
+view.height=787
+view.middleMousePaste=true
+view.showToolbar=false
+view.thickCaret=true
+view.width=1072
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src/modes/isabelle-session.xml Wed Jun 08 22:06:05 2011 +0200
@@ -0,0 +1,41 @@
+<?xml version="1.0"?>
+<!DOCTYPE MODE SYSTEM "xmode.dtd">
+
+<!-- Isabelle session mode -->
+<MODE>
+ <PROPS>
+ <PROPERTY NAME="commentStart" VALUE="(*"/>
+ <PROPERTY NAME="commentEnd" VALUE="*)"/>
+ <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
+ <PROPERTY NAME="unalignedOpenBrackets" VALUE="(" />
+ <PROPERTY NAME="unalignedCloseBrackets" VALUE=")" />
+ <PROPERTY NAME="tabSize" VALUE="2" />
+ <PROPERTY NAME="indentSize" VALUE="2" />
+ </PROPS>
+ <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
+ <SPAN TYPE="COMMENT1">
+ <BEGIN>(*</BEGIN>
+ <END>*)</END>
+ </SPAN>
+ <SPAN TYPE="COMMENT3">
+ <BEGIN>{*</BEGIN>
+ <END>*}</END>
+ </SPAN>
+ <SPAN TYPE="LITERAL1">
+ <BEGIN>`</BEGIN>
+ <END>`</END>
+ </SPAN>
+ <SPAN TYPE="LITERAL3">
+ <BEGIN>"</BEGIN>
+ <END>"</END>
+ </SPAN>
+ <KEYWORDS>
+ <KEYWORD1>session</KEYWORD1>
+ <KEYWORD2>parent</KEYWORD2>
+ <KEYWORD2>imports</KEYWORD2>
+ <KEYWORD2>uses</KEYWORD2>
+ <KEYWORD2>options</KEYWORD2>
+ <KEYWORD2>dependencies</KEYWORD2>
+ </KEYWORDS>
+ </RULES>
+</MODE>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src/modes/isabelle.xml Wed Jun 08 22:06:05 2011 +0200
@@ -0,0 +1,41 @@
+<?xml version="1.0"?>
+<!DOCTYPE MODE SYSTEM "xmode.dtd">
+
+<!-- Isabelle theory mode -->
+<MODE>
+ <PROPS>
+ <PROPERTY NAME="commentStart" VALUE="(*"/>
+ <PROPERTY NAME="commentEnd" VALUE="*)"/>
+ <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
+ <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(" />
+ <PROPERTY NAME="unalignedCloseBrackets" VALUE=")]}" />
+ <PROPERTY NAME="tabSize" VALUE="2" />
+ <PROPERTY NAME="indentSize" VALUE="2" />
+ </PROPS>
+ <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
+ <SPAN TYPE="COMMENT1">
+ <BEGIN>(*</BEGIN>
+ <END>*)</END>
+ </SPAN>
+ <SPAN TYPE="COMMENT3">
+ <BEGIN>{*</BEGIN>
+ <END>*}</END>
+ </SPAN>
+ <SPAN TYPE="LITERAL1">
+ <BEGIN>`</BEGIN>
+ <END>`</END>
+ </SPAN>
+ <SPAN TYPE="LITERAL3">
+ <BEGIN>"</BEGIN>
+ <END>"</END>
+ </SPAN>
+ <KEYWORDS>
+ <KEYWORD2>header</KEYWORD2>
+ <KEYWORD1>theory</KEYWORD1>
+ <KEYWORD2>imports</KEYWORD2>
+ <KEYWORD2>uses</KEYWORD2>
+ <KEYWORD2>begin</KEYWORD2>
+ <KEYWORD2>end</KEYWORD2>
+ </KEYWORDS>
+ </RULES>
+</MODE>