# HG changeset patch
# User wenzelm
# Date 1307563565 -7200
# Node ID acc680ab62048e2f8a87d9cec454d17eb90c692c
# Parent a319da4fbfb029823fab92af6713049a98e445ad
simplified directory structure;
recovered README.html;
diff -r a319da4fbfb0 -r acc680ab6204 .hgignore
--- 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/
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/README.html
--- /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 @@
+
+
+
+
+
+
+Notes on the Isabelle/jEdit Prover IDE
+
+
+
+
+The Isabelle/jEdit Prover IDE
+
+
+
+- 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).
+
+- 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.
+
+- 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, which also allows multiple instances.
+
+
+
+
+Isabelle symbols and fonts
+
+
+
+ - Isabelle supports infinitely many symbols:
+ α, β, γ, …
+ ∀, ∃, ∨, ∧, ⟶, ⟷, …
+ ≤, ≥, ⊓, ⊔, …
+ ℵ, △, ∇, …
+ \<foo>, \<bar>, \<baz>, …
+
+
+ - A default mapping relates some Isabelle symbols to Unicode points
+ (see $ISABELLE_HOME/etc/symbols and $ISABELLE_HOME_USER/etc/symbols).
+
+
+ - The IsabelleText font ensures that Unicode points are actually
+ seen on the screen (or printer).
+
+
+ - Input methods:
+
+ - copy/paste from decoded source files
+ - copy/paste from prover output
+ - completion provided by Isabelle plugin, e.g.
+
+
+ | name | abbreviation | symbol |
|---|
+
+ | lambda | | λ |
+ | Rightarrow | => | ⇒ |
+ | Longrightarrow | ==> | ⟹ |
+
+ | And | !! | ⋀ |
+ | equiv | == | ≡ |
+
+ | forall | ! | ∀ |
+ | exists | ? | ∃ |
+ | longrightarrow | --> | ⟶ |
+ | and | /\ | ∧ |
+ | or | \/ | ∨ |
+ | not | ~ | ¬ |
+ | noteq | ~= | ≠ |
+ | in | : | ∈ |
+ | notin | ~: | ∉ |
+
+
+
+
+
+ - NOTE: The above abbreviations refer to the input method.
+ The logical notation provides ASCII alternatives that often
+ coincide, but deviate occasionally.
+
+
+ - NOTE: 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.
+
+
+
+
+
+Limitations and workrounds (January 2011)
+
+
+ - No way to start/stop prover or switch to a different logic.
+ Workaround: Change options and restart editor.
+
+ - Multiple theory buffers cannot depend on each other, imports are
+ resolved via the file-system.
+ Workaround: Save/reload files manually.
+
+ - No reclaiming of old/unused document versions in prover or
+ editor.
+ Workaround: Avoid large files; restart after a few hours of use.
+
+ - Incremental reparsing sometimes produces unexpected command
+ spans.
+ Workaround: Cut/paste larger parts or reload buffer.
+
+ - Command execution sometimes gets stuck (purple background).
+ Workaround: Force reparsing as above.
+
+ - Odd behavior of some diagnostic commands, notably those
+ starting external processes asynchronously
+ (e.g. thy_deps, sledgehammer).
+ Workaround: Avoid such commands.
+
+ - 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.
+
+ - General lack of various conveniences known from Proof
+ General.
+
+
+
+
+
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/dist-template/README.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 @@
-
-
-
-
-
-
-Notes on the Isabelle/jEdit Prover IDE
-
-
-
-
-The Isabelle/jEdit Prover IDE
-
-
-
-- 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).
-
-- 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.
-
-- 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, which also allows multiple instances.
-
-
-
-
-Isabelle symbols and fonts
-
-
-
- - Isabelle supports infinitely many symbols:
- α, β, γ, …
- ∀, ∃, ∨, ∧, ⟶, ⟷, …
- ≤, ≥, ⊓, ⊔, …
- ℵ, △, ∇, …
- \<foo>, \<bar>, \<baz>, …
-
-
- - A default mapping relates some Isabelle symbols to Unicode points
- (see $ISABELLE_HOME/etc/symbols and $ISABELLE_HOME_USER/etc/symbols).
-
-
- - The IsabelleText font ensures that Unicode points are actually
- seen on the screen (or printer).
-
-
- - Input methods:
-
- - copy/paste from decoded source files
- - copy/paste from prover output
- - completion provided by Isabelle plugin, e.g.
-
-
- | name | abbreviation | symbol |
|---|
-
- | lambda | | λ |
- | Rightarrow | => | ⇒ |
- | Longrightarrow | ==> | ⟹ |
-
- | And | !! | ⋀ |
- | equiv | == | ≡ |
-
- | forall | ! | ∀ |
- | exists | ? | ∃ |
- | longrightarrow | --> | ⟶ |
- | and | /\ | ∧ |
- | or | \/ | ∨ |
- | not | ~ | ¬ |
- | noteq | ~= | ≠ |
- | in | : | ∈ |
- | notin | ~: | ∉ |
-
-
-
-
-
- - NOTE: The above abbreviations refer to the input method.
- The logical notation provides ASCII alternatives that often
- coincide, but deviate occasionally.
-
-
- - NOTE: 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.
-
-
-
-
-
-Limitations and workrounds (January 2011)
-
-
- - No way to start/stop prover or switch to a different logic.
- Workaround: Change options and restart editor.
-
- - Multiple theory buffers cannot depend on each other, imports are
- resolved via the file-system.
- Workaround: Save/reload files manually.
-
- - No reclaiming of old/unused document versions in prover or
- editor.
- Workaround: Avoid large files; restart after a few hours of use.
-
- - Incremental reparsing sometimes produces unexpected command
- spans.
- Workaround: Cut/paste larger parts or reload buffer.
-
- - Command execution sometimes gets stuck (purple background).
- Workaround: Force reparsing as above.
-
- - Odd behavior of some diagnostic commands, notably those
- starting external processes asynchronously
- (e.g. thy_deps, sledgehammer).
- Workaround: Avoid such commands.
-
- - 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.
-
- - General lack of various conveniences known from Proof
- General.
-
-
-
-
-
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/dist-template/modes/isabelle-session.xml
--- 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 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (*
- *)
-
-
- {*
- *}
-
-
- `
- `
-
-
- "
- "
-
-
- session
- parent
- imports
- uses
- options
- dependencies
-
-
-
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/dist-template/modes/isabelle.xml
--- 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 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (*
- *)
-
-
- {*
- *}
-
-
- `
- `
-
-
- "
- "
-
-
- header
- theory
- imports
- uses
- begin
- end
-
-
-
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/dist-template/properties/jedit.props
--- 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
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/lib/Tools/jedit
--- 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,\n\n,;
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/src/jEdit.props
--- /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
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/src/modes/isabelle-session.xml
--- /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 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (*
+ *)
+
+
+ {*
+ *}
+
+
+ `
+ `
+
+
+ "
+ "
+
+
+ session
+ parent
+ imports
+ uses
+ options
+ dependencies
+
+
+
diff -r a319da4fbfb0 -r acc680ab6204 src/Tools/jEdit/src/modes/isabelle.xml
--- /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 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (*
+ *)
+
+
+ {*
+ *}
+
+
+ `
+ `
+
+
+ "
+ "
+
+
+ header
+ theory
+ imports
+ uses
+ begin
+ end
+
+
+