.gitignore

# Created by .ignore support plugin (hsz.mobi)
### JetBrains template
# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio and Webstorm
# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839

# User-specific stuff:
.idea/workspace.xml
.idea/tasks.xml

# Sensitive or high-churn files:
.idea/dataSources/
.idea/dataSources.ids
.idea/dataSources.xml
.idea/dataSources.local.xml
.idea/sqlDataSources.xml
.idea/dynamic.xml
.idea/uiDesigner.xml

# Gradle:
.idea/gradle.xml
.idea/libraries

# Mongo Explorer plugin:
.idea/mongoSettings.xml

## File-based project format:
*.iws

## Plugin-specific files:

# IntelliJ
/out/

# mpeltonen/sbt-idea plugin
.idea_modules/

# JIRA plugin
atlassian-ide-plugin.xml

# Crashlytics plugin (for Android Studio and IntelliJ)
com_crashlytics_export_strings.xml
crashlytics.properties
crashlytics-build.properties
fabric.properties
### Scala template
*.class
*.log

# sbt specific
.cache
.history
.lib/
dist/*
target/
lib_managed/
src_managed/
project/boot/
project/plugins/project/

# Scala-IDE specific
.scala_dependencies
.worksheet

# ENSIME specific
.ensime_cache/
.ensime

.gitignore
.idea/
build.sbt
project/
src/main/java/
src/main/resources/
src/main/scala-2.12/
src/test/java/
src/test/resources/
src/test/scala-2.12/
/src/main/resources/
/scalastyle-config.xml
scalastyle-config.xml

scripts/Description.txt
scripts/analyse.kif
scripts/context.ref
scripts/context.txt
scripts/context.xml
scripts/dependances.kif
scripts/dependencies.kif
scripts/diff.txt
scripts/drawingtree.kif
scripts/english.tra
scripts/extraire.kif
scripts/grammar.kif
scripts/lsp.kif
scripts/new-dependencies.kif
scripts/new.xml
scripts/res.txt
scripts/samples/
scripts/sent.txt
scripts/sentence.xml
scripts/single.xml
scripts/temp.xml
scripts/test-context-new.txt
scripts/test-context.txt
scripts/test-refl-conc.xml
scripts/test.kif
scripts/test.txt
scripts/test.xml
scripts/une.xml
src/main/scala/au/edu/utscic/tap/Scratch.sc