.gitignore

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

# 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

# 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 #
################
*~
.#*
\#*#
*.swp

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

# VDM project folders #
############################
lib/

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

# Files generated by Emacs #
############################
*.el
.vdm-project

# Other generated files #
#########################  
documentation/vdm2jml-rt/test-copies/
documentation/vdm2jml-rt/chapters/generated.tex

# VS Code files
.vscode/
*.puml
*.code-workspace
.generated/