aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqtop_byte_bin.ml
Commit message (Expand)AuthorAge
* [build] Simpler byte/opt toplevel build.Gravatar Emilio Jesus Gallego Arias2018-03-05
* [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10