Am 26.09.2011 um 20:20 schrieb Makarius: > I am about to produce the release clone. The current tip eb7a797ade0f will > probably be the fork point. This includes a few changes by Lukas and Jasmin > from today, and I understand that these were meant to go into this release, > not the next one.
Oops, I was among those who was confused about the fork procedure. My changes were intended for the next release. Ah well, they should be fine for this release as well (and the old Kodkodi 1.2.16). Jasmin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
