.gitignore

## Core latex/pdflatex auxiliary files:
*.aux
*.lof
*.log
*.lot
*.fls
*.out
*.toc

## Intermediate documents:
*.dvi
# these rules might exclude image files for figures etc.
# *.ps
# *.eps
# *.pdf

## Bibliography auxiliary files (bibtex/biblatex/biber):
*.bbl
*.bcf
*.blg
*-blx.aux
*-blx.bib
*.run.xml

## Build tool auxiliary files:
*.fdb_latexmk
*.synctex.gz
*.synctex.gz(busy)
*.pdfsync

## Auxiliary and intermediate files from other packages:

# algorithms
*.alg
*.loa

# amsthm
*.thm

# beamer
*.nav
*.snm
*.vrb

# glossaries
*.acn
*.acr
*.glg
*.glo
*.gls

# hyperref
*.brf

# listings
*.lol

# makeidx
*.idx
*.ilg
*.ind
*.ist

# minitoc
*.maf
*.mtc
*.mtc0

# minted
*.pyg

# nomencl
*.nlo

# sagetex
*.sagetex.sage
*.sagetex.py
*.sagetex.scmd

# sympy
*.sout
*.sympy
sympy-plots-for-*.tex/

# todonotes
*.tdo

# xindy
*.xdy

# -----------------------------------------------------------------------------
# generic generated file patterns

Thumbs.db
.DS_Store
.svn

*~
#*#
*.bak
*.BAK
*.orig
*.prof
*.rej


*.hi
*.hi-boot
*.o-boot
*.p_o
*.t_o
*.debug_o
*.thr_o
*.thr_p_o
*.thr_debug_o
*.o
*.vo
*.a
*.o.cmd
*.depend*
.#*
log
tags

# -----------------------------------------------------------------------------
#  Emacs-generated TeX files
_region_.*
cv/*.out
*.rel
*.log
*.blg
*.aux
*.bbl
*.synctex.gz
*.out.ps
.#*

# -----------------------------------------------------------------------------
#  Coq-generated stuff

\#*\#
*.vo 
*.v.d
*.glob
.coq-native
*.vok
*.vos
.Makefile.coq.d

# -----------------------------------------------------------------------------
# Project-specific stuff

Makefile.coq
loadpath.v
latex/*.v.tex
latex/*.pdf
latex/pnp-blx.bib
pnp*.zip
CoqMakefile.conf
Makefile.coq.conf
.coqdeps.d