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.
added missing file (cf. 9098c36abd1a);
authorwenzelm
Mon, 21 Aug 2017 11:36:34 +0200
changeset 66468 075c2aadd0b8
parent 66467 65ad7a7a9d6a
child 66469 a6ec0172211a
added missing file (cf. 9098c36abd1a);
src/Tools/jEdit/src-base/Isabelle_Base.props file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src-base/Isabelle_Base.props	Mon Aug 21 11:36:34 2017 +0200
@@ -0,0 +1,17 @@
+## Isabelle_Base plugin properties
+##
+##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
+
+#identification
+plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
+plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel
+plugin.isabelle.jedit_base.Plugin.version=1.0
+plugin.isabelle.jedit_base.Plugin.description=Isabelle base: DO NOT DISABLE!
+
+#system parameters
+plugin.isabelle.jedit_base.Plugin.activate=startup
+plugin.isabelle.jedit_base.Plugin.usePluginHome=false
+
+#dependencies
+plugin.isabelle.jedit_base.Plugin.depend.0=jdk 1.8
+plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.04.00.00
isabelle