| Sat, 09 Jun 2018 13:19:57 +0200 | wenzelm | tuned -- use existing operation; | changeset | files |
| Thu, 07 Jun 2018 22:46:40 +0200 | wenzelm | merged | changeset | files |
| Thu, 07 Jun 2018 16:09:43 +0200 | wenzelm | isabelle emacs no longer exists; | changeset | files |
| Thu, 07 Jun 2018 19:36:12 +0200 | nipkow | utilize 'flip' | changeset | files |