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.
tuned whitespace;
authorwenzelm
Thu, 13 Oct 2016 22:59:20 +0200
changeset 64200 2e6597279d38
parent 64199 f38d39c57959
child 64201 c3edc64e219d
tuned whitespace;
Admin/build_history file | annotate | diff | comparison | revisions 
--- a/Admin/build_history	Thu Oct 13 21:44:42 2016 +0200
+++ b/Admin/build_history	Thu Oct 13 22:59:20 2016 +0200
@@ -2,9 +2,7 @@
 #
 # DESCRIPTION: build history versions from another repository clone
 
-
 THIS="$(cd "$(dirname "$0")"; pwd)"
 
 "$THIS/build" jars || exit $?
-
 exec "$THIS/../bin/isabelle_java" isabelle.Build_History "$@"
isabelle