The Coq mailing list

[Frederic Blanqui <frederic.blanqui AT inria.fr>]

Dear all,

on http://color.inria.fr you will find a new release of CoLoR that compiles with the new version 8.4 of Coq.

Regards,

Frederic.

Additions since last release:

11-03-25: [Blanqui]
- Util/FGraph/TransClos: transitive closure of a finite graph
- Util/FGraph/FGraph: library on finite graphs

10-11-30: [Ould-Biha]
- Term/WithArity/AInfSeq: infinite rewrite sequences
- Term/WithArity/ASubterm: the subterm relation is finitely branching
- Util/Nat/NatLeast: min of a non-empty set of nats
- Term/WithArity/ADepRel: relation on defined symbols implied by rules

10-11-24: [Blanqui]
- Util/List/ListUtil: sub_list
- Util/Vector/VecFilterPerm: vector filtering with permutations
- Filter/AFilterPerm: non-collapsing arguments filtering with permutations

10-11-16: [Koprowski]
- MatrixInt/ATropicalInt: tropical matrix interpretations