--- a/src/Tools/jEdit/jedit_main/actions.xml Mon Mar 31 14:32:46 2025 +0200
+++ b/src/Tools/jEdit/jedit_main/actions.xml Tue Apr 01 11:59:07 2025 +0200
@@ -2,6 +2,16 @@
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
<ACTIONS>
+ <ACTION NAME="isabelle.backward">
+ <CODE>
+ isabelle.jedit.Isabelle.backward(view);
+ </CODE>
+ </ACTION>
+ <ACTION NAME="isabelle.forward">
+ <CODE>
+ isabelle.jedit.Isabelle.forward(view);
+ </CODE>
+ </ACTION>
<ACTION NAME="isabelle.browser-info">
<CODE>
isabelle.jedit.Isabelle.open_browser_info(view);