| Fri, 07 Oct 2016 10:46:34 +0200 | wenzelm | more official legacy status; | changeset | files |
| Fri, 07 Oct 2016 17:59:19 +0200 | fleury | more lemmas | changeset | files |
| Fri, 07 Oct 2016 17:58:36 +0200 | fleury | tuning multisets | changeset | files |
| Fri, 07 Oct 2016 17:57:17 +0200 | fleury | more lemmas | changeset | files |
| Fri, 07 Oct 2016 10:45:21 +0200 | eberlm | Set_Permutations -> Multiset_Permutations in NEWS | changeset | files |
| Fri, 07 Oct 2016 10:31:34 +0200 | wenzelm | moved to proper release (cf. 4a72b37ac4b8); | changeset | files |
| Fri, 07 Oct 2016 10:23:50 +0200 | wenzelm | updated for release; | changeset | files |
| Fri, 07 Oct 2016 09:29:11 +0200 | wenzelm | merged | changeset | files |
| Thu, 06 Oct 2016 17:40:59 +0200 | wenzelm | Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7 | changeset | files |
| Thu, 06 Oct 2016 17:17:34 +0200 | traytel | merged | changeset | files |
| Thu, 06 Oct 2016 13:34:00 +0200 | traytel | merged | changeset | files |
| Thu, 06 Oct 2016 13:33:26 +0200 | traytel | less aggressive unfolding in tactic | changeset | files |