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

Administration

Notes :

Nom de version : 0.12

Notes :



Changemenents : Version 0.12: - imported the OCaml code of the gappa tactic in the library (support requires Coq 8.2, OCaml 3.11, and Gappa 0.12.0) - fixed incompatibility between the tactic and glob dumping - improved tactic with respect to redundant or contradictory hypotheses

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment