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.
tuned;
authorwenzelm
Tue, 19 Sep 2006 23:18:41 +0200
changeset 20632 40abbc7c86df
parent 20631 010df683de04
child 20633 e98f59806244
tuned;
Admin/isatest-stats file | annotate | diff | comparison | revisions 
--- 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