| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
updated NEWS
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
optimized parent computation in MaSh
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
avoid loading MaSh file first time around for higher responsiveness of Sledgehammer
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
tuned MaSh's metacharacters to avoid needless decoding
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
optimization in MaSh parsing
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
tuned ML
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
removed trailing final stops in Nitpick messages
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
killed final stops in Sledgehammer and friends
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
tuned message
|
changeset |
files
|
| 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
|
| Sat, 13 Aug 2016 07:58:14 +0200 |
nipkow |
added [simp] lemmas
|
changeset |
files
|