user-overlays « ci « dev - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	00669-maximedenes-ssr-merge.sh	182	log plain
-rw-r--r--	07085-ppedrot-pure-sharing-flag.sh	214	log plain
-rw-r--r--	07257-herbelin-master+fix-yet-another-unif-dep-in-alphabet.sh	251	log plain
-rw-r--r--	07288-herbelin-master+new-module-pretyping-id-management.sh	212	log plain
-rw-r--r--	08456-fix-6764.sh	117	log plain
-rwxr-xr-x	08515-command-atts.sh	399	log plain
-rw-r--r--	08552-gares-elpi-11.sh	124	log plain
-rw-r--r--	08554-herbelin-master+fix8553-change-under-binders.sh	449	log plain
-rw-r--r--	08555-maximedenes-rm-section-path.sh	283	log plain
-rw-r--r--	08601-name-abstract-univ-context.sh	327	log plain
-rw-r--r--	08671-mattam-plugin-tutorials.sh	225	log plain
-rw-r--r--	08684-maximedenes-cleanup-kernel-entries.sh	305	log plain
-rw-r--r--	08688-herbelin-master+generalizing-evar-map-printer-over-env.sh	228	log plain
-rw-r--r--	08704-ejgallego-vernac+monify_hook.sh	507	log plain
-rw-r--r--	08844-split-tactics.sh	385	log plain
-rw-r--r--	08889-mattam-program-obl-subst.sh	217	log plain
-rw-r--r--	README.md	1829	log plain
-rw-r--r--	jasongross-numeral-notation-4.sh	232	log plain