.svn/
.git/
latexdocs/
lipics-authors/
llncs/
fill/isabelle/
fill/svn/
fill/git-old/
interp/itp/raj/
interp/itp/james/
bu*/
nicta/
private/
ib/
old/
new/
Old/
*.b
*~
?
*.toc
*.cls
*.aux
*.blg
*.log
makefile
key/Jinja/
heaps/
.*.swp
*-submitted/
submitted/