Mercurial > urweb

diff demo/prose @ 419:cb5897276abf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug with bringing functor argument instances into scope; Ref demo, minus prose
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 17:35:10 -0400
parents ad7e854a518c
children 9119a5920106
line wrap: on
line diff
--- a/demo/prose	Thu Oct 23 14:03:12 2008 -0400
+++ b/demo/prose	Thu Oct 23 17:35:10 2008 -0400
@@ -108,3 +108,5 @@
 metaform1.urp
 
 metaform2.urp
+
+ref.urp