Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>";
authorwenzelm
Sat, 17 Feb 2018 19:37:18 +0100
changeset 67647 27f3dceb5a70
parent 67646 85582dded912
child 67648 f6e351043014
avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>";
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Sat Feb 17 18:42:26 2018 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sat Feb 17 19:37:18 2018 +0100
@@ -311,3 +311,4 @@
 view.thickCaret=true
 view.title=Isabelle/jEdit -\u0020
 view.width=1072
+xml-insert-closing-tag.shortcut=
isabelle