.*.aux *.glob *.o *.v.d *.vio *.vo *.vok *.vos .lia.cache csdp.cache lia.cache Makefile.coq Makefile.coq.conf .Makefile.coq.d public/* _CoqProject
