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

Mode	Name	Size
-rw-r--r--	10185-SkySkimmer-instance-no-bang.sh	193	log plain
-rw-r--r--	11566-ejgallego-exninfo+coercion.sh	177	log plain
-rw-r--r--	11703-herbelin-master+turning-numTok-into-a-numeral-API.sh	237	log plain
-rw-r--r--	11731-ejgallego-proof+more_naming_unif.sh	407	log plain
-rw-r--r--	11812-ppedrot-export-hint-globality.sh	311	log plain
-rw-r--r--	11818-ejgallego-proof+remove_special_case_first_declaration_in_mutual.sh	664	log plain
-rw-r--r--	11820-SkySkimmer-partial-import.sh	175	log plain
-rw-r--r--	11896-ppedrot-evar-inst-list.sh	754	log plain
-rw-r--r--	11922-ppedrot-rm-local-reductionops.sh	301	log plain
-rw-r--r--	11948-proux01-hexadecimal.sh	352	log plain
-rw-r--r--	12023-herbelin-master+fixing-empty-Ltac-v-file.sh	649	log plain
-rw-r--r--	12107-SkySkimmer-no-mod-univs.sh	171	log plain
-rw-r--r--	12227-ppedrot-refiner-rm-v82.sh	189	log plain
-rw-r--r--	12267-gares-elpi-1.11.sh	160	log plain
-rw-r--r--	8808-herbelin-master+support-binder+term-in-abbrev.sh	236	log plain
-rw-r--r--	8855-herbelin-master+more-search-options.sh	339	log plain
-rw-r--r--	README.md	1846	log plain