.gitignore 162 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/*
Guillaume GENESTIER's avatar
Guillaume GENESTIER committed
12
iProverModulo/*
13
dklib-master/*
Guillaume GENESTIER's avatar
Guillaume GENESTIER committed
14 15
TermChecker/*.txt
temp/*
Guillaume GENESTIER's avatar
Guillaume GENESTIER committed
16 17
*.tmp
*.tar*