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 titles;
authorwenzelm
Tue, 27 Nov 2007 21:06:52 +0100
changeset 25480 1bada8ff8122
parent 25479 139b8843873b
child 25481 aa16cd919dcc
tuned titles;
Admin/isatest/isatest-statistics file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-statistics	Tue Nov 27 19:43:41 2007 +0100
+++ b/Admin/isatest/isatest-statistics	Tue Nov 27 21:06:52 2007 +0100
@@ -94,9 +94,9 @@
 for SESSION in $SESSIONS
 do
   fgrep "$SESSION " "$ALL_DATA" > "$SESSION_DATA"
-  PLOT="plot [] [0:] \"$SESSION_DATA\" using 2:3 smooth sbezier title \"cpu time\", \"$SESSION_DATA\" using 2:3 smooth csplines title \"cpu time\""
+  PLOT="plot [] [0:] \"$SESSION_DATA\" using 2:3 smooth sbezier title \"interpolated cpu time\", \"$SESSION_DATA\" using 2:3 smooth csplines title \"cpu time\""
   if [ "$PARALLEL" = true ]; then
-    PLOT="${PLOT}, \"$SESSION_DATA\" using 2:4 smooth sbezier title \"elapsed time\", \"$SESSION_DATA\" using 2:4 smooth csplines title \"elapsed time\""
+    PLOT="${PLOT}, \"$SESSION_DATA\" using 2:4 smooth sbezier title \"interpolated elapsed time\", \"$SESSION_DATA\" using 2:4 smooth csplines title \"elapsed time\""
   fi
   gnuplot <<EOF
 set terminal $TE
isabelle