Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Now, the grammar extension from .v files are concentrated in just a few | bertot | 2004-01-14 |
* | Integrating the Ltac language and the Blast tool into the interface | bertot | 2001-12-18 |
* | These files are used to construct an independent parser, that is a small | bertot | 2001-04-04 |