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.
== -> =
authorkleing
Wed, 26 Feb 2003 14:26:18 +0100
changeset 13834 4d50cf8ea3d7
parent 13833 f8dcb1d9ea68
child 13835 12b2ffbe543a
== -> =
lib/Tools/makeall file | annotate | diff | comparison | revisions 
--- a/lib/Tools/makeall	Wed Feb 26 13:16:07 2003 +0100
+++ b/lib/Tools/makeall	Wed Feb 26 14:26:18 2003 +0100
@@ -49,4 +49,4 @@
 ELAPSED=$("$ISABELLE_HOME/lib/scripts/showtime" "$SECONDS")
 echo "$ELAPSED total elapsed time"
 
-[ "$FAIL" == "" ] || fail "Logics ${FAIL}FAILED!"
+[ "$FAIL" = "" ] || fail "Logics ${FAIL}FAILED!"
isabelle