Mercurial > urweb

diff src/cjr.sml @ 144:f0d3402184d1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 78d59cf0a0cc
children e52dfb1e6b19
line wrap: on
line diff
--- a/src/cjr.sml	Sun Jul 20 13:30:19 2008 -0400
+++ b/src/cjr.sml	Tue Jul 22 15:12:20 2008 -0400
@@ -62,6 +62,6 @@
 
 withtype decl = decl' located
 
-type file = decl list * (string * int * typ list) list
+type file = decl list * (Core.export_kind * string * int * typ list) list
 
 end