.gitignore

# git-ls-files --others --exclude-from=.git/info/exclude
# Lines that start with '#' are comments.
# For a project mostly in C, the following would be a good set of
# exclude patterns (uncomment them if you want to use them):
*~
system/genSrc
system/binary
*#*
system/key.jar
system/setup.jar
system/GenMakefile
system/Makefile.mk
system/resources/de/uka/ilkd/key/util/version
system/resources/de/uka/ilkd/key/util/sha1
eclipse/KeYPlugin/bin
eclipse/VisualDebugger/.settings
eclipse/VisualDebugger/bin
key-ext-jars
system/argfile
system/argfile.aspects
system/argfile.generic
system/argfile.normal
system/argfile.other
system/critical.msg
system/error.msg
system/gf.msg
system/javaFiles.tmp
system/javaFiles
system/warning.msg
.DS_Store
tags
dist
examples/statistics.csv
eclipse/.settings/org.eclipse.jdt.ui.prefs
*.tgz
*.tar
system/native/csdp/*.so
system/native/csdp/*.a
system/keymaera.jar
system/de/uka/ilkd/key/dl/parser/output/
filesChanges
examples/statistics-*.csv
system/.cache
system/.classpath
system/.settings/org.eclipse.jdt.core.prefs
system/org.eclipse.jdt.core.prefs
fontconfig/
install