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/browser/build
changeset 71373 201486ced92d
parent 68014 9096895dc2a6
child 72982 adda33fdb5d0 
--- a/lib/browser/build	Mon Jan 13 11:18:31 2020 +0100
+++ b/lib/browser/build	Mon Jan 13 11:19:24 2020 +0100
@@ -59,7 +59,7 @@
 
 if [ "$OUTDATED" = true ]
 then
-  echo "### Building graph browser ..."
+  echo >&2 "### Building graph browser ..."
 
   rm -rf classes && mkdir classes
isabelle