-
tag-20041011-bcaml-ok
Compilation of BCaml ok Conversion of an old SVN tag where only bcaml was kept. Now it contains all of BRILLANT but identifies the correct commit.
-
bicoax-before-coq8.2rc2
Version of BiCoax before converting to Coq 8.2rc2 The initial SVN tag was removed in favor of this one, which is equivalent (but contains all of brillant, the SVN tag was only a copy of BiCoax at that time).