diff options
| -rw-r--r-- | CHANGES | 20 |
1 files changed, 19 insertions, 1 deletions
@@ -1,4 +1,4 @@ -Changes from V7.3 to ???? +Changes from V7.3.1 to ???? ------------------------- Library @@ -61,6 +61,24 @@ Incompatibilities proofs; in some cases, incompatibilites is solved by declaring locally opaque the relevant constant) +Changes from V7.3 to V7.3.1 +=========================== + +Bug fixes + + - Corrupted Field tactic and Match Context tactic construction fixed + - Checking of names already existing in Assert added (PR#182) + - Invalid argument bug in Exact tactic solved (PR#183) + - Colliding bound names bug fixed (PR#202) + - Wrong non-recursivity test for Record fixed (PR#189) + - Out of memory/seg fault bug related to parametric inductive fixed (PR#195) + - Setoid_replace/Setoid_rewrite bug wrt "==" fixed + +Misc + + - Ocaml version >= 3.06 is needed to compile Coq from sources + - Simplification of fresh names creation strategy for Assert, Pose and + LetTac (PR#192) Changes from V7.2 to V7.3 ------------------------- |