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.
removed unused ConsolePlugin dependency;
authorwenzelm
Mon, 25 Aug 2008 21:58:54 +0200
changeset 27994 da9d38dcced3
parent 27993 6dd90ef9f927
child 27995 81cce44fa5d7
removed unused ConsolePlugin dependency; added menu item; added some Isabelle options;
lib/jedit/plugin/Isabelle.props file | annotate | diff | comparison | revisions 
--- a/lib/jedit/plugin/Isabelle.props	Mon Aug 25 20:01:17 2008 +0200
+++ b/lib/jedit/plugin/Isabelle.props	Mon Aug 25 21:58:54 2008 +0200
@@ -16,10 +16,16 @@
 plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00
 plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
 plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
-plugin.isabelle.jedit.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4
 
 #dockable component
 isabelle.label = Isabelle
 isabelle.title = Isabelle
 isabelle.longtitle = Basic Isabelle process
 
+#menu
+plugin.isabelle.jedit.IsabellePlugin.menu-item = isabelle
+
+
+#Isabelle options
+isabelle.print-modes = no_brackets no_type_brackets xsymbols
+isabelle.logic =
isabelle