ide « test-suite - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	blocking-futures.fake	568	log plain
-rw-r--r--	bug4246.fake	208	log plain
-rw-r--r--	bug4249.fake	239	log plain
-rw-r--r--	bug7088.fake	239	log plain
-rw-r--r--	debug_ltac.fake	115	log plain
-rw-r--r--	join-sync.fake	422	log plain
-rw-r--r--	join.fake	345	log plain
-rw-r--r--	load.fake	248	log plain
-rw-r--r--	proof-diffs.fake	158	log plain
-rw-r--r--	reopen.fake	454	log plain
-rw-r--r--	reopen1.fake	396	log plain
-rw-r--r--	undo001.fake	269	log plain
-rw-r--r--	undo002.fake	316	log plain
-rw-r--r--	undo003.fake	201	log plain
-rw-r--r--	undo004.fake	309	log plain
-rw-r--r--	undo005.fake	345	log plain
-rw-r--r--	undo006.fake	311	log plain
-rw-r--r--	undo008.fake	406	log plain
-rw-r--r--	undo009.fake	508	log plain
-rw-r--r--	undo010.fake	637	log plain
-rw-r--r--	undo012.fake	613	log plain
-rw-r--r--	undo013.fake	626	log plain
-rw-r--r--	undo014.fake	607	log plain
-rw-r--r--	undo015.fake	691	log plain
-rw-r--r--	undo016.fake	729	log plain
-rw-r--r--	undo017.fake	265	log plain
-rw-r--r--	undo018.fake	264	log plain
-rw-r--r--	undo019.fake	255	log plain
-rw-r--r--	undo020.fake	554	log plain
-rw-r--r--	undo021.fake	635	log plain
-rw-r--r--	undo022.fake	1082	log plain
-rw-r--r--	univ.fake	507	log plain