[isabelle-dev] isabelle-release repos

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Mon Sep 26 20:45:55 CEST 2011

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).


More information about the isabelle-dev mailing list