S'identifier
Nouveau compte
  
 
Accueil
Ma page
Arbre des projets
Boite à outils
Demande d'aide
PFF
            
 
 
En bref
Documents
CVS
Fichiers
        
 

Administration

Notes :

Nom de version : Float8.4

Notes : Compatible with Coq 8.4


Changemenents : Fixed incompatibilities with the new version of Coq, especially changes on Z: comparisons, predecessor...

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment