aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqmktop.ml
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* Coqmktop without Sys.command, changes in ./configure -*byteflags optionsGravatar Pierre Letouzey2014-01-30
* coqmktop without Unix (simpler all_subdirs)Gravatar Pierre Letouzey2013-12-20
* Revert the two last commits. My bad, I messed up git-svn commands...Gravatar ppedrot2013-10-29
* Printing heap on every processed sentence.Gravatar ppedrot2013-10-29
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* State Transaction MachineGravatar gareuselesinge2013-08-08
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18