annotate tests/capture.ur @ 1999:a1d3fbdcc897

Add <pre> tag support
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 24 Feb 2014 09:10:31 +0000
parents 6c00d8af6239
children
rev   line source
adam@1639 1 val y = []
adam@1639 2
adam@1639 3 type foo = int
adam@1639 4 val z : list {F : foo} = y