lp:coq/v8.2

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

10011. By notin on 2009-11-02

Correction du bug #2175

10010. By glondu on 2009-10-29

Fix flat_map definition so that it plays nicely with fix

10009. By corbinea on 2009-10-27

fixed czar bug with parametric inductives

10008. By corbinea on 2009-10-25

fixed bug in Czar grammar

10007. By corbinea on 2009-10-25

debug modif

10006. By herbelin on 2009-10-24

Fixing XML doc (COQ_XML not working as an environment variable).
Fixing English grammar in inversion error message (reported in bug #2164).
(see trunk 12409)

10005. By herbelin on 2009-10-20

Repaired bug #2165 (buggy coq example in Tactic Examples doc chapter)

10004. By letouzey on 2009-10-15

typo in doc of Extraction Blacklist

10003. By herbelin on 2009-09-18

Extended .gitignore for v8.2 branch

10002. By glondu on 2009-09-17

Replace call to where_in_path by find_file_in_path in "Locate File"