# HG changeset patch
# User wenzelm
# Date 1219694334 -7200
# Node ID da9d38dcced3fa0fe36006b51afdba63bbd09451
# Parent  6dd90ef9f9276674acad3a72f89d9a3e95fed91e
removed unused ConsolePlugin dependency;
added menu item;
added some Isabelle options;

diff -r 6dd90ef9f927 -r da9d38dcced3 lib/jedit/plugin/Isabelle.props
--- 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 =