.darcsignore

(^|/)CVS$
\.(swp|swo)$
^autom4te.cache$
^config.log$
^configure$
^config.status$
^mk/config.mk$
^out$
^doc/haddock/src$
^doc/haddock/.*\.(gif|html|css|js|haddock)
^tmp$
^doc/pfe/fake/Syntax/Parser/(Parser|Lexer)\.hs$
\.(log|ps|aux|bbl|nav|bak|snm|toc)$
^doc/.*\.out$
\.happy.out$
\.dvi$
\.pdf$
~$
trace/(lam|lambda)$
Agda2\.tar\.gz
\.agdai$
(^|/)\..*\.l?agda\.vim$
\.blg$
\.DS_Store$
\.(o|hi)$
src/prototyping/eval/Lam$
src/prototyping/eval/prof$
src/prototyping/eval/(eval|eval_p)$
src/prototyping/eval/.*\.prof$
\.hp$
(^|/)tags$
notes/papers/implicit/(examples|lhs2TeXpreamble|exintro).tex
src/prototyping/modules/flat/Syntax$
src/prototyping/modules/flat/module$
\.vrb$
(^|/)dist$
^\.(inplace-pkg|installed-pkg|setup)-config$
^src/main/setup$
^setup$
^src/main/dist$
^src/full/Syntax/Parser/(Parser|Lexer).hs$
^src/main/.uptodate$
\#.*\#$
\.agda\.html$
notes/papers/iird/paper.tex
\.setup-config$
src/transl/dist
src/rts/dist
\.(installed|inplace)-pkg-config
examples/cbs/agda1
\.prof$
src/hTags/dist$
fileIO/.*\.hs$
fileIO/Main$
src/prototyping/nameless/(nameless|Lam)$
examples/simple-lib/.*\.hs
^std-lib$
examples/MAlonzo/MAlonzo$
examples/MAlonzo/main$
test/fail/(Epic|MAlonzo)$
test/epic/(RunTests|Epic)$
test/epic/tests/bin/.*
test/compiler/(Main|MAlonzo)$
^src/agda-pkg/dist$
src/prototyping/terms/(dist|term)$
^examples/relocatable/copies$
^test/succeed/MAlonzo($|/)
^test/succeed/Issue(296|326)$
examples/compiler/MAlonzo$
test/succeed/Epic$
examples/compiler/main$
test/fail/customised/MAlonzo$
examples/compiler/Epic$
test/interaction/MAlonzo$
prototyping/termrep/(bug|Main|Syntax/((Abs|ErrM|Layout|Lex|Par|Print|Skel|Test)\.hs|Par\.y|Lex.x|Doc\.(tex|txt)))$