Ur/Web: tests/open.ur annotate

Add <em> and <strong> tags

author	Sergey Mironov <grrwlf@gmail.com>
date	Mon, 07 Oct 2013 14:07:06 +0400
parents	71bafe66dbe1
children

rev	line source
adamc@61	1 structure S = struct
adamc@61	2 type t = int
adamc@61	3 val x = 0
adamc@61	4
adamc@61	5 structure S' : sig type u val y : t end = struct
adamc@61	6 type u = t
adamc@61	7 val y = x
adamc@61	8 end
adamc@61	9
adamc@61	10 signature Sig = sig
adamc@61	11 type t
adamc@61	12 val x : t
adamc@61	13 end
adamc@61	14 end
adamc@61	15
adamc@61	16 open S.S'
adamc@61	17 open S
adamc@61	18 open S'
adamc@61	19
adamc@61	20 structure S' : Sig = S

Mercurial > urweb