Revision 877a6f21b2a8e61697b548bacffa676ecf5b247f authored by Basile Pesin on 27 May 2019, 13:13:29 UTC, committed by Basile Pesin on 27 May 2019, 13:13:29 UTC
1 parent 50b434e
.gitignore
# General
.depend
.bkp/
# Coq
*.aux
*.glob
*.vo
# Generated by configure and coq_makefile
_CoqProject
Makefile
.coqdeps.d
# LaTeX
*.tex
*.vrb
*.toc
*.toc
*.snm
*.out
*.nav
*.aux
*.log
# we keep *.pdf to ease sharing of slides
notes.*
*~
Makefile.conf
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...