Mercurial > urweb

diff src/corify.sig @ 376:6fd102fa28f9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple generation of persistent paths
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 11:11:49 -0400
parents 02f42e9a1825
children 3b7e46790fa7
line wrap: on
line diff
--- a/src/corify.sig	Thu Oct 16 17:31:24 2008 -0400
+++ b/src/corify.sig	Sun Oct 19 11:11:49 2008 -0400
@@ -27,6 +27,9 @@
 
 signature CORIFY = sig
 
+    val restify : (string -> string) ref
+    (** Consulted to determine how to rewrite persistent paths *)
+
     val corify : Expl.file -> Core.file
 
 end