Mercurial > urweb

diff lib/ur/basis.urs @ 1926:44f607a7f4cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename <activeHead> to <script> and make it work properly
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Dec 2013 15:47:14 -0500
parents 15802a00816c
children f792a6544093
line wrap: on
line diff
--- a/lib/ur/basis.urs	Fri Dec 06 14:52:47 2013 +0400
+++ b/lib/ur/basis.urs	Mon Dec 09 15:47:14 2013 -0500
@@ -782,7 +782,7 @@
 val active : unit
              -> tag [Code = transaction xbody] body [] [] []
 
-val activeHead : unit
+val script : unit
              -> tag [Code = transaction unit] head [] [] []
 
 val head : unit -> tag [] html head [] []