coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-01-22	Move new entries in 8.11.0 changelog.	Théo Zimmermann

2020-01-13	Native compute: cleanup temporary files on program exit	Gaëtan Gilbert
	We make a temporary directory for these files and cleanup at process exit. The temporary directory means we don't have to guess what extensions ocaml will produce, we can just delete everything there. We use Lazy to avoid spamming unused directories when ahead-of-time compiling without actually using native casts / nativenorm (typically stdlib files). Sadly ocaml has "create temp file" but not "create temp dir", so we have to copy the name generation code. Fix #10495