Mercurial > urweb

annotate tests/funnyStyles.urp @ 2049:459ccbf8cd08

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
When unifying constructor-level unification variables, also unify their kinds
author Adam Chlipala <adam@chlipala.net>
date Fri, 01 Aug 2014 16:11:36 -0400
parents 3005c66b70e8
children
rev   line source
adam@1849 1 rewrite style FunnyStyles/booboo mixed_rule-applied
adam@1849 2 rewrite all FunnyStyles/*
adam@1849 3
adam@1849 4 funnyStyles