mml-gitignore

# the env files
*.aco
*.atr
*.dct
*.dfs
*.eid
*.ere
*.esh
*.evl
*.frm
*.prf
*.vcl
*.ano
*.cho
*.dcx
*.ecl
*.eno
*.eth
*.fil
*.nol
*.sgl

# extensions of files created/used by verifier
*.err
*.frx
*.idx
*.par
*.parx
*.refx
*.log
*.ref
*.xml

# extensions of other files created by us
*.dep
*.hdr
*.html
*.xmlexp
*.xmlvrf
*-prel
*-dep

# the distro files
.emacs
abstr
addabsrefs.xsl
bin
example.bib
external.bib
fm.bib
fmbibs.zip
html
install.sh
mizar.el
miz.xml
miz.xsl
mmldecls.txt
mmldecl.txt
mml.lar
mml.txt
prel
README
replthls.txt
replths.txt
syntax.txt
xml
xsl