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.
Admin/isatest-stats
changeset 20632 40abbc7c86df
parent 20619 02e9b54b18fd
child 20649 5079b9ee1ef5 
--- a/Admin/isatest-stats	Tue Sep 19 23:15:40 2006 +0200
+++ b/Admin/isatest-stats	Tue Sep 19 23:18:41 2006 +0200
@@ -32,7 +32,7 @@
   cat > "stats/$PLATFORM.html" <<EOF
 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
 <html>
-<head><title> Development Snapshot -- Statistics</title></head>
+<head><title>Development Snapshot -- Performance Statistics</title></head>
 
 <body>
 <h1>$PLATFORM</h1>
isabelle