Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixes for r12197, the refined evars were not returned in case fail_evar | 2009-06-22 | |
* | Use more consistent resolution parameters in Program and regular typing | 2009-06-18 | |
* | - New cleaning phase for the entry points of pretyping.ml | 2009-04-24 | |
* | Experimental support for automatic destruction of recursive calls and | 2009-04-08 | |
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 |