log src/corify.sml

age author description
Tue, 12 Jan 2010 10:33:03 -0500 Adam Chlipala Supporting any number of arguments for explicitly exported functions
Sat, 02 Jan 2010 14:54:15 -0500 Adam Chlipala JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
Thu, 31 Dec 2009 11:41:57 -0500 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly