Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more portable across history;
authorwenzelm
Sat, 17 Jul 2021 22:17:27 +0200
changeset 74035 ec3249dd63dd
parent 74034 d6ae3a7d9cb0
child 74036 57768f30d17c
more portable across history;
src/Pure/Admin/build_history.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_history.scala	Sat Jul 17 22:12:06 2021 +0200
+++ b/src/Pure/Admin/build_history.scala	Sat Jul 17 22:17:27 2021 +0200
@@ -564,7 +564,7 @@
 
       execute("bin/isabelle", "components -I")
       execute("bin/isabelle", "components -a", echo = true)
-      execute("Admin/build", "jars_fresh")
+      execute("bin/isabelle", "jedit -bf")
     }
 
     val rev_id = self_hg.id(rev)
isabelle