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.
lib/Tools/console
changeset 74038 b4f57bfe82e7
parent 74017 b4e6b82fdb9e 
--- a/lib/Tools/console	Sat Jul 17 23:09:54 2021 +0200
+++ b/lib/Tools/console	Sun Jul 18 12:48:31 2021 +0200
@@ -4,7 +4,7 @@
 #
 # DESCRIPTION: raw ML process (interactive mode)
 
-isabelle_scala_build || exit $?
+isabelle scala_build || exit $?
 
 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
isabelle