Mercurial > urweb

annotate tests/subs_str.urs @ 1542:dc4c61363d0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add timestamps to 'app.js' filenames, to prevent inappropriate caching by browsers
author Adam Chlipala <adam@chlipala.net>
date Fri, 19 Aug 2011 08:59:01 -0400
parents 71bafe66dbe1
children
rev   line source
adamc@66 1 structure M : sig
adamc@66 2 type t
adamc@66 3 end
adamc@66 4
adamc@66 5 val x : M.t