log src/print.sml

age author description
Fri, 24 Dec 2010 12:51:46 -0500 Adam Chlipala Add an extra Especialize pass before Rpcify
Tue, 02 Sep 2008 14:40:57 -0400 Adam Chlipala Validating schema of a live database
Sun, 31 Aug 2008 08:32:18 -0400 Adam Chlipala Laconic -> Ur