Mercurial > urweb

diff src/sources @ 1732:4a03aa3251cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial support for reusing elaboration results
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Apr 2012 13:17:31 -0400
parents cb0f05bdc183
children 38297294cf98
line wrap: on
line diff
--- a/src/sources	Sat Apr 28 12:00:35 2012 -0400
+++ b/src/sources	Sun Apr 29 13:17:31 2012 -0400
@@ -78,6 +78,9 @@
 elab_err.sig
 elab_err.sml
 
+mod_db.sig
+mod_db.sml
+
 elaborate.sig
 elaborate.sml