.gitignore 238 Bytes
Newer Older
Guillaume GENESTIER's avatar
Guillaume GENESTIER committed
1 2
*~
\#*\#
3
*.dko
4
.*
5
matita/*
6
sigmaid/
7 8 9 10 11
sigmaid/*
verine/*
zenon_dk/*
focalide_dks/*
holide_lib/*
12
iProverModulo_dk/*
Guillaume GENESTIER's avatar
Guillaume GENESTIER committed
13
iProverModulo/*
14
dklib-master/*
Guillaume GENESTIER's avatar
Guillaume GENESTIER committed
15
TermChecker/*.txt
G. GENESTIER's avatar
G. GENESTIER committed
16 17 18 19 20
bench-constr/*
Bible_examples/*
JFLA/*
tests/*
example/*
Guillaume GENESTIER's avatar
Guillaume GENESTIER committed
21
temp/*
Guillaume GENESTIER's avatar
Guillaume GENESTIER committed
22 23
*.tmp
*.tar*