aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/g_obligations.ml4
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* More fixes of unification with primitive projections (missed cases during the...Gravatar Matthieu Sozeau2014-05-16
* poly: remove unused attribute to STM nodes and vernac classificaitonGravatar Enrico Tassi2014-05-15
* Cleanup before merge with the trunkGravatar Matthieu Sozeau2014-05-06
* Migrate back g_obligations in toplevelGravatar Pierre Letouzey2014-03-02
* migrate g_obligations.ml4 in parsingGravatar letouzey2012-04-26
* Fix bugs related to Program integration.Gravatar msozeau2012-03-19
* Fixing bug #2732 (anomaly when using the tolerance for writingGravatar herbelin2012-03-18
* Fix merge and add missing file.Gravatar msozeau2012-03-14