02-specification-language « changelog « doc - coq

Mode	Name	Size
-rw-r--r--	00000-title.rst	45	log plain
-rw-r--r--	07825-rechable-from-evars.rst	625	log plain
-rw-r--r--	10331-minim-prop-toset.rst	290	log plain
-rw-r--r--	12653-cumul-syntax.rst	289	log plain
-rw-r--r--	12756-dont-refresh-argument-names.rst	407	log plain
-rw-r--r--	12768-master+warn-non-underscore-catch-all-pattern-matching.rst	292	log plain
-rw-r--r--	13106-doc-and-changelog-for-13106.rst	206	log plain
-rw-r--r--	13166-master+fixes13165-missing-impargs-defined-fields.rst	236	log plain
-rw-r--r--	13183-using-att.rst	253	log plain
-rw-r--r--	13188-instance-gen.rst	462	log plain
-rw-r--r--	13217-master+fix13216-typeclass-for-match-return-clause.rst	270	log plain
-rw-r--r--	13290-master+grant13278-small-inversion-in-prop.rst	261	log plain
-rw-r--r--	13312-attributes+bool_single.rst	911	log plain
-rw-r--r--	13376-master+minifix-NotFoundInstance.rst	209	log plain
-rw-r--r--	13383-master+fix11816-wf-not-allowed-in-local-fixpoint.rst	218	log plain
-rw-r--r--	13386-master+fix9971-primproj-canonical-structure-on-evar-type.rst	250	log plain
-rw-r--r--	13387-master+fix12348-debruijn-bug-imitation.rst	256	log plain