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

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
comparison
equal deleted inserted replaced
1925:15802a00816c 1926:44f607a7f4cd
780 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind 780 -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind
781 781
782 val active : unit 782 val active : unit
783 -> tag [Code = transaction xbody] body [] [] [] 783 -> tag [Code = transaction xbody] body [] [] []
784 784
785 val activeHead : unit 785 val script : unit
786 -> tag [Code = transaction unit] head [] [] [] 786 -> tag [Code = transaction unit] head [] [] []
787 787
788 val head : unit -> tag [] html head [] [] 788 val head : unit -> tag [] html head [] []
789 val title : unit -> tag [] head [] [] [] 789 val title : unit -> tag [] head [] [] []
790 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] [] 790 val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] []