Mon, 12 Dec 2016 17:40:06 +0100 | wenzelm | merged | changeset | files |
Mon, 12 Dec 2016 16:54:15 +0100 | wenzelm | removed obsolete RC tags; | changeset | files |
Mon, 12 Dec 2016 15:02:35 +0100 | wenzelm | Added tag Isabelle2016-1 for changeset 7aa3c52f27aa | changeset | files |
Mon, 12 Dec 2016 11:17:23 +0100 | wenzelm | tuned; | changeset | files |