| 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 |
| Sat, 13 Aug 2016 07:58:14 +0200 | nipkow | added [simp] lemmas | changeset | files |
| Fri, 12 Aug 2016 22:51:45 +0200 | wenzelm | more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works; | changeset | files |