Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/lib/Tools/jedit
changeset 75296 d92e0197ba01
parent 75291 e4d6b9bd5071
child 77483 291f5848bf55 
--- a/src/Tools/jEdit/lib/Tools/jedit	Tue Mar 22 18:12:58 2022 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit	Tue Mar 22 18:52:27 2022 +0100
@@ -106,6 +106,7 @@
         ;;
       l)
         JEDIT_LOGIC="$OPTARG"
+        JEDIT_LOGIC_REQUIREMENTS="false"
         ;;
       m)
         if [ -z "$JEDIT_PRINT_MODE" ]; then
isabelle