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 |