| Fri, 28 Oct 2016 20:01:38 +0200 | wenzelm | merged | changeset | files |
| Fri, 28 Oct 2016 19:08:35 +0200 | wenzelm | Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7 | changeset | files |
| Fri, 28 Oct 2016 19:54:41 +0200 | kuncar | a more general relator domain rule for the function type | changeset | files |
| Fri, 28 Oct 2016 16:59:25 +0200 | wenzelm | Haskabelle is presently unmaintained; | changeset | files |
| Fri, 28 Oct 2016 15:47:18 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 27 Oct 2016 21:52:44 +0200 | wenzelm | merged | changeset | files |
| Thu, 27 Oct 2016 21:52:12 +0200 | wenzelm | more careful PIDE reports: avoid duplicates, notably in situation of backtracking loops; | changeset | files |