Mercurial > urweb
view tests/README @ 1891:779c390382b9
Manual: add a pointer to background reading on inference rule notation
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 17 Nov 2013 07:54:59 -0500 |
parents | d40104c112df |
children |
line wrap: on
line source
Most of these tests are broken, which is why they are masked out for the official code releases. Use at your own risk, and expect no support from anyone!