Commit message (Expand) | Author | Age | |
---|---|---|---|
* | CLEANUP: Context.{Rel,Named}.Declaration.t | 2016-02-09 | |
* | Update copyright headers. | 2016-01-20 | |
* | Update headers. | 2015-01-12 | |
* | Referring to evars by names. Added a parser for evars (but parsing of | 2014-09-12 | |
* | Unifying locate code, also making it more powerful: it is now able to find | 2014-07-21 | |
* | Adding a new "Locate Term" command, distinct from the raw "Locate" command. | 2014-07-21 | |
* | More complete printing of Ltac location, akin to the term-dedicated Locate co... | 2014-07-21 | |
* | Remove many superfluous 'open' indicated by ocamlc -w +33 | 2014-03-05 | |
* | Merging Context and Sign. | 2013-04-29 | |
* | Modulification of name | 2012-12-18 | |
* | Modulification of identifier | 2012-12-14 | |
* | Updating headers. | 2012-08-08 | |
* | place all pretty-printing files in new dir printing/ | 2012-05-29 |