Mercurial > feed

diff src/ur/feed.urs @ 7:05a28a77f6fe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'show' instance for 'document'
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Mar 2011 18:36:50 -0500
parents e0bae488825c
children a4e5d053daed
line wrap: on
line diff
--- a/src/ur/feed.urs	Sat Jan 15 15:25:22 2011 -0500
+++ b/src/ur/feed.urs	Thu Mar 10 18:36:50 2011 -0500
@@ -30,6 +30,7 @@
            -> pattern (treeInternal parentI childI) (parent * child)
 
 type document
+val show_document : show document
 
 val fetch : string (* url *) -> transaction document
 val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> document -> transaction {}