2019-05-11 | nipkow | tuned | changeset | files |
2019-05-11 | wenzelm | back to post-release mode; | changeset | files |
2019-05-11 | wenzelm | Added tag Isabelle2019-RC2 for changeset 805250bb7363 | changeset | files |
2019-05-11 | nipkow | fixed theory name | changeset | files |
Loading... |