aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqidetop.mllib
Commit message (Expand)AuthorAge
* [ide] Disable `print_ast` call.Gravatar Emilio Jesus Gallego Arias2017-05-18
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Move ide serialization libraries from lib/ to ide/Gravatar Emilio Jesus Gallego Arias2016-06-02
* Move serialization functions out of StmGravatar Emilio Jesus Gallego Arias2016-06-02
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25