https://github.com/gapt/gapt
Tip revision: 04ff5777a5a0442072961d616f20a4f634ec80ad authored by Gabriel Ebner on 13 January 2017, 07:02:40 UTC
Release 2.4
Release 2.4
Tip revision: 04ff577
.gitignore
# sbt
target
# custom scripts
/*.scala
# proof tarballs
testing/TSTP/prover9
testing/TSTP/leanCoP
testing/veriT-SMT-LIB/QF_UF
# cut-intro experiments
/*.json
/termsets
# logging configuration
logback.xml
core/src/main/resources/logback-test.xml
# latex
doc/*.aux
doc/*.bbl
doc/*.blg
doc/*.log
doc/user_manual.pdf
doc/*.toc
doc/*.fdb_latexmk
doc/*.fls
doc/*.out
doc/*.lox
doc/*.synctex.gz
doc/auto
doc/_region_.*
doc/prv_user_manual.fmt
doc/*.tex.backup
*-proposal/*.aux
*-proposal/*.bbl
*-proposal/*.blg
*-proposal/*.log
*-proposal/*.pdf
*-proposal/*.toc
*-proposal/*.fdb_latexmk
*-proposal/*.fls
*-proposal/*.out
*-proposal/*.synctex.gz
ceres_unary_eq/*.aux
ceres_unary_eq/*.bbl
ceres_unary_eq/*.blg
ceres_unary_eq/*.log
ceres_unary_eq/*.pdf
ceres_unary_eq/*.toc
ceres_unary_eq/*.fdb_latexmk
ceres_unary_eq/*.fls
ceres_unary_eq/*.out
ceres_unary_eq/*.synctex.gz
# vim
.*.sw?
# idea
.idea
# eclipse
.project
.classpath
.cache
.cache-main
.cache-test
.cache-tests
*.settings
# emacs
/.ensime*