Skip to main content

Browse the archive

Revision 0818b714813764b0ef0526862a38efdc01934122 authored by Tomáš Zemanovič on 15 July 2019, 07:38:26 UTC, committed by Raphaël Cauderlier on 25 July 2019, 16:47:11 UTC 
Manager: use 'assert' instead of 'failwith', only accept tokens on 'default' entry
1 parent 6241f44
Raw File
.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
*.sty
# we keep *.pdf to ease sharing of slides
notes.*
*~
Makefile.conf
back to top