log src/c/mhash.c

age author description
Thu, 04 Feb 2010 13:07:12 -0500 Adam Chlipala mhash will use saved signature
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