Commit message (Expand) | Author | Age | |
---|---|---|---|
* | These files are used to construct an independent parser, that is a small | 2001-04-04 | |
* | These files are loaded coq-interface to make a process that is "pcoq" enabled. | 2001-04-04 | |
* | Make sure the constructors of Z and positive are recognized: they show up | 2001-04-04 | |
* | Files that handle the dialogue with the graphical user-interface pcoq. | 2001-04-04 |