Mercurial > urweb
view src/coq/README @ 2057:f4a6ccb7937f
Allow Body tags inside cformTags
This is required by Bootstrap. For example, see
http://getbootstrap.com/components/#alerts-dismissible
author | Sergey Mironov <grrwlf@gmail.com> |
---|---|
date | Sun, 17 Aug 2014 18:28:37 +0000 |
parents | 705cb41ac7d0 |
children |
line wrap: on
line source
This is a Coq formalization of a simplified version of the Ur programming language. It has only been tested with Coq version 8.3pl2.