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/Tools/display
changeset 21342 223a3de1222b
parent 20570 f78dfa306918
child 28650 a7ba12e0d3b7 
--- a/lib/Tools/display	Mon Nov 13 15:55:38 2006 +0100
+++ b/lib/Tools/display	Mon Nov 13 18:19:24 2006 +0100
@@ -75,7 +75,7 @@
   PRIVATE_FILE="${ISABELLE_TMP:-/tmp}/$$"$(basename "$FILE")
   mv "$FILE" "$PRIVATE_FILE" || fail "Cannot move file: $FILE"
   $VIEWER "$PRIVATE_FILE"
-  sleep 5   ;try to avoid races
+  sleep 5   #try to avoid races
   rm -f "$PRIVATE_FILE"
 else
   exec $VIEWER "$FILE"
isabelle