log

age author description
Fri, 17 Sep 2010 17:53:35 -0400 James Bergstra added serializability requiremnt
Fri, 17 Sep 2010 17:07:52 -0400 Pascal Lamblin Update after sept. 17th meeting