Sun, 14 Aug 2016 12:26:09 +0200 | blanchet | tuning punctuation in messages output by Isabelle | changeset | files |
Sun, 14 Aug 2016 12:26:09 +0200 | blanchet | tuning whitespace in output syntax | changeset | files |
Sat, 13 Aug 2016 23:45:29 +0200 | wenzelm | gnuplot presentation similar to former isatest-statistics; | changeset | files |
Sat, 13 Aug 2016 23:33:58 +0200 | wenzelm | tuned; | changeset | files |
Sat, 13 Aug 2016 12:06:11 +0200 | wenzelm | statistics from session build output; | changeset | files |
Sat, 13 Aug 2016 12:05:53 +0200 | wenzelm | more uniform output; | changeset | files |