Mercurial > urweb
comparison src/coq/README @ 1709:4600cc5e335c
Added several missing tag attributes
author | Vladimir Shabanov <vshabanoff@gmail.com> |
---|---|
date | Wed, 11 Apr 2012 03:03:19 +0400 |
parents | 705cb41ac7d0 |
children |
comparison
equal
deleted
inserted
replaced
1708:e263dab7b579 | 1709:4600cc5e335c |
---|