Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ROmega : O_STATE turned into a O_SUM | 2017-05-22 | |
* | ROmega: less contructors in the final omega trace | 2017-05-22 | |
* | ROmega : merge O_CONSTANT* into a single O_BAD_CONSTANT | 2017-05-22 | |
* | romega: no more normalization trace, replaced by some Coq-side computation | 2017-05-22 | |
* | romega: use N instead of nat for Tvar | 2017-05-22 | |
* | romega: discard constructor D_mono (shorter trace + fix a bug) | 2017-05-22 | |
* | Removing trivial compatibility layer in refl_omega. | 2017-04-24 | |
* | Switch the few remaining iso-latin-1 files to utf8 | 2014-12-09 | |
* | This commit adds full universe polymorphism and fast projections to Coq. | 2014-05-06 | |
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 |