opened « bugs « test-suite - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	1338.v-disabled	332	log plain
-rw-r--r--	1501.v	2587	log plain
-rw-r--r--	1596.v	7311	log plain
-rw-r--r--	1671.v	322	log plain
-rw-r--r--	1773.v	192	log plain
-rw-r--r--	1811.v	200	log plain
-rw-r--r--	2310.v	642	log plain
-rw-r--r--	3230.v	372	log plain
-rw-r--r--	3283.v	1019	log plain
-rw-r--r--	3295.v	3057	log plain
-rw-r--r--	3298.v	508	log plain
-rw-r--r--	3301.v	2961	log plain
-rw-r--r--	3309.v	11340	log plain
-rw-r--r--	3310.v	287	log plain
-rw-r--r--	3311.v	337	log plain
-rw-r--r--	3312.v	185	log plain
-rw-r--r--	3319.v	1260	log plain
-rw-r--r--	3322.v	1206	log plain
-rw-r--r--	3325.v	705	log plain
-rw-r--r--	3326.v	384	log plain
-rw-r--r--	3329.v	3916	log plain
-rw-r--r--	3330.v	28029	log plain
-rw-r--r--	3331.v	1765	log plain
-rw-r--r--	3332.v	270	log plain
-rw-r--r--	3336.v	211	log plain
-rw-r--r--	3337.v	107	log plain
-rw-r--r--	3343.v	1296	log plain
-rw-r--r--	3344.v	2618	log plain
-rw-r--r--	3345.v	5372	log plain
-rw-r--r--	3346.v	225	log plain
-rw-r--r--	3357.v	321	log plain
-rw-r--r--	3363.v	479	log plain
-rw-r--r--	3370.v	341	log plain
-rw-r--r--	3372.v	225	log plain
-rw-r--r--	3373.v	954	log plain
-rw-r--r--	3374.v	2457	log plain
-rw-r--r--	3375.v	2813	log plain
-rw-r--r--	743.v	218	log plain
-rw-r--r--	HoTT_coq_027.v	3979	log plain
-rw-r--r--	HoTT_coq_062.v	3798	log plain
-rw-r--r--	HoTT_coq_077.v	1103	log plain
-rw-r--r--	HoTT_coq_078.v	1443	log plain
-rw-r--r--	HoTT_coq_083.v	589	log plain
-rw-r--r--	HoTT_coq_104.v	322	log plain
-rw-r--r--	HoTT_coq_106.v	2002	log plain
-rw-r--r--	HoTT_coq_111.v	938	log plain
-rw-r--r--	HoTT_coq_115.v	88	log plain
-rw-r--r--	HoTT_coq_120.v	5392	log plain
-rw-r--r--	HoTT_coq_124.v	1512	log plain