Skip to content
GitLab
Explore
Sign in
Software
dnegmod
Repository
dnegmod
presentation
presentation.tex
Find file
Blame
History
Permalink
fixed the coq8.6 issue
· e7d3a2cf
Ulrich
authored
Apr 11, 2017
e7d3a2cf