Forked from
BESSON Frederic / itauto
61 commits behind the upstream repository.
-
BESSON Frederic authored
fix Makefile : coqdep (8.14) is picky and fails if file does not exists
BESSON Frederic authoredfix Makefile : coqdep (8.14) is picky and fails if file does not exists
plot_qed 211 B