--- a/src/Tools/jEdit/src/actions.xml Sat Sep 10 14:28:07 2011 +0200
+++ b/src/Tools/jEdit/src/actions.xml Sat Sep 10 14:48:06 2011 +0200
@@ -57,5 +57,14 @@
isabelle.jedit.Isabelle.input_bold(textArea);
</CODE>
</ACTION>
-
+ <ACTION NAME="isabelle.check-buffer">
+ <CODE>
+ isabelle.jedit.Isabelle.check_buffer(buffer);
+ </CODE>
+ </ACTION>
+ <ACTION NAME="isabelle.cancel-execution">
+ <CODE>
+ isabelle.jedit.Isabelle.cancel_execution();
+ </CODE>
+ </ACTION>
</ACTIONS>
\ No newline at end of file