Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing the return type of the Atoken symbol. | 2015-10-28 | |
* | Removing unused code in Pcoq. | 2015-10-27 | |
* | Finer type for Pcoq.interp_entry_name. | 2015-10-27 | |
* | Indexing existentially quantified entries returned by interp_entry_name. | 2015-10-27 | |
* | Type-safe grammar extensions. | 2015-10-27 | |
* | Pcoq entries are given a proper module. | 2015-10-26 | |
* | Getting rid of the Atactic entry. | 2015-10-25 | |
* | Getting rid of the Agram entry. | 2015-10-25 | |
* | Pcoq.prod_entry_key now uses a GADT to statically enforce typedness. | 2015-10-21 | |
* | Turn Pcoq into a regular ML file. | 2015-10-21 |