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/Pure/Admin/component_vampire.scala
changeset 78823 893049a842b5
parent 78822 09b5113e5c9d
child 78824 e0cb5a96f5fe 
--- a/src/Pure/Admin/component_vampire.scala	Fri Oct 20 12:26:56 2023 +0200
+++ b/src/Pure/Admin/component_vampire.scala	Wed Oct 25 11:52:40 2023 +0200
@@ -113,7 +113,7 @@
 
       File.write(component_dir.README,
         "This Isabelle component provides Vampire " + version + """using the
-original sources from """.stripMargin + download_url + """
+original sources from """ + download_url + """
 
 The executables have been built via "cmake . && make"
isabelle