# Compiled source #
###################
*.com
*.class
*.dll
*.exe
*.o
*.so

# Latex #
###################
*.aux
*.idx
*.out
*.toc
*.bbl
*.blg
*.ilg
*.ind
*.fdb_latexmk

# Apache Velocity #
velocity.*

# Packages #
############
# it's better to unpack these files and commit the raw source
# git has its own built in compression methods
*.7z
*.dmg
*.gz
*.iso
*.jar
*.rar
*.tar
*.zip

# Logs and databases #
######################
*.log
*.sql
*.sqlite
nextGenLog.*

# OS generated files #
######################
.DS_Store*
ehthumbs.db
Thumbs.db

# The next exclusion as broadly targets the OS X icon file "Icon\r"
# (that's a carriage return, or ^M, at the end).  It's overbroad,
# killing any file whose name is 5 characters long, starting with Icon
# and ending with a character not alphanumeric or -.  We'll tighten it
# up if we need to.  We're doing it this way as inserting the precise
# filename (using control characters) doesn't always survive across
# OSes and edits. -jwc/6June2013
Icon[^-0-9a-zA-Z]
!Icon*/


# Backup files #
################
*~
.#*
\#*#

# maven target directories #
############################
target/

# eclipse noise #
#################
.metadata/
.classpath
.settings/
.metadata/
.project
bin
.factorypath

# Intellij metadata #
#####################
*.iml
.idea

# Added by Jenkins for local mvn repos #
########################################
.repository/
# same, but by Joey on local builds
repository/

# Java files created by ASTgen &c #
###################################
/core/parser/bin
/core/ast/out.svg
/testdata

# Generated by Overture #
#########################
generated/


# Documents copied into the help plugin #
#########################################
ide/help/html/OvertureIDEUserGuide.pdf
ide/help/html/QuickOverviewofVDMOperators.pdf
ide/help/html/VDM10_lang_man.pdf


# VDM Libraries copied into the UI plugin #
###########################################
ide/ui/includes/lib/

# Vim Swap Files #
##################
*.swp
*.useq
documentation/sequence1.png
documentation/UML main.png
documentation/sequence2.png
documentation/sequence3.png
documentation/sequence4.png
documentation/UML main.ucls

# Emacs related #
#################
.meghanada/