Release 2

Marc Cordier and Daniel Kimbel's implementation of Release 2.