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/latex
changeset 8568 b18540435f26
parent 8565 3c3895e37761
child 9788 df671fa2562a 
--- a/lib/Tools/latex	Fri Mar 24 13:48:31 2000 +0100
+++ b/lib/Tools/latex	Fri Mar 24 14:40:51 2000 +0100
@@ -69,7 +69,7 @@
   FILEBASE=$DIR/$(basename "$FILE" .tex)
 fi
 
-function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'" }
+function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; }
 
 
 # operations
isabelle