aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqtop_bin.ml
Commit message (Expand)AuthorAge
* [make] remove unneeded generated file "tolink.ml"Gravatar Emilio Jesus Gallego Arias2017-12-10
* [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10