Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Prsing | 2001-08-10 | |
* | Adding files for the production of textual explanations as used in pcoq. | 2001-04-18 | |
* | renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam... | 2001-04-04 | |
* | These files are used to construct an independent parser, that is a small | 2001-04-04 |