.gitignore 214 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1 2
# General
*~
POTTIER Francois's avatar
POTTIER Francois committed
3
settings.sh
POTTIER Francois's avatar
POTTIER Francois committed
4 5
# Coq
*.vio
POTTIER Francois's avatar
POTTIER Francois committed
6 7
*.vo
*.glob
POTTIER Francois's avatar
POTTIER Francois committed
8
*.d
POTTIER Francois's avatar
POTTIER Francois committed
9
*.vq
POTTIER Francois's avatar
POTTIER Francois committed
10
.*.aux
POTTIER Francois's avatar
POTTIER Francois committed
11 12
.coq-native
.coqide
POTTIER Francois's avatar
POTTIER Francois committed
13
_CoqProject
14
*.cache
POTTIER Francois's avatar
POTTIER Francois committed
15 16
# CFML
*.cmj
Armaël Guéneau's avatar
Armaël Guéneau committed
17
generator/cfml_config.ml
18 19
README.html
lib/coq/README.html
POTTIER Francois's avatar
POTTIER Francois committed
20
*_ml.v
21
_output
POTTIER Francois's avatar
POTTIER Francois committed
22 23 24
# OCaml
_build
*.native