Mentions légales du service

Skip to content
  • François Bobot's avatar
    Merge branch 'stable' · 7fe093db
    François Bobot authored
    accept also camlp4 (not only camlp5) for coq plugin compilation
    
    Conflicts:
    	Makefile.in
    	configure.in
    7fe093db