| Thu, 08 Dec 2016 15:11:20 +0100 | wenzelm | Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52 | changeset | files |
| Tue, 06 Dec 2016 17:38:46 +0100 | wenzelm | notes on whitespace; | changeset | files |
| Tue, 06 Dec 2016 17:23:54 +0100 | wenzelm | avoid spurious messages -- potential cause of problems for "meson"; | changeset | files |