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-statistics
changeset 20650 8188d7605c5b
parent 20646 02729d4d6e4a
child 20651 41a63aabea83 
--- a/Admin/isatest-statistics	Wed Sep 20 21:02:29 2006 +0200
+++ b/Admin/isatest-statistics	Wed Sep 20 21:02:56 2006 +0200
@@ -76,7 +76,7 @@
 do
   fgrep "$SESSION " "$ALL_DATA" > "$SESSION_DATA"
   gnuplot <<EOF
-set terminal png
+set terminal png color
 set output "$DIR/${SESSION}.png"
 set xdata time
 set timefmt "%Y-%m-%d"
isabelle