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.
presumably redundant (absent in Windows/Cygwin download);
authorwenzelm
Sun, 11 Oct 2020 13:50:19 +0200
changeset 72441 a3257d0e8bbb
parent 72440 d0ba71b3297e
child 72442 90868036d693
presumably redundant (absent in Windows/Cygwin download);
src/Pure/Admin/build_verit.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_verit.scala	Sun Oct 11 13:09:43 2020 +0200
+++ b/src/Pure/Admin/build_verit.scala	Sun Oct 11 13:50:19 2020 +0200
@@ -121,7 +121,6 @@
 
       File.copy(build_dir + Path.explode("LICENSE"), component_dir)
       File.copy(build_dir + Path.explode("veriT"), platform_dir)
-      File.copy(build_dir + Path.explode("veriT-SAT"), platform_dir)
 
 
       /* settings */
isabelle