Skip to content

Makefile et _CoqProject globaux

Pierre Rousselin requested to merge one_makefile into master
  • Ajout des fichiers Makefile et _CoqProject à la racine.
  • Suppression des Makefile et _CoqProject des sous-répertoires.
  • Ajout des dépendances dans le README.md
  • Ajout de spécificateurs 'From ... Require' pour lever les ambigüités en cas de différents R_compl ou logic_compl
  • renommage de measurable_fun-new.v en measurable_fun_new.v

Merge request reports