log src/c/mhash.c

age author description
Sun, 07 Feb 2010 08:35:47 -0500 Adam Chlipala Call access() with F_OK
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