diff --git a/.gitignore b/.gitignore
index e964244..63636c6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -299,3 +299,6 @@ TSWLatexianTemp*
 # option is specified. Footnotes are the stored in a file with suffix Notes.bib.
 # Uncomment the next line to have this generated file ignored.
 #*Notes.bib
+
+# vscode
+.vscode
\ No newline at end of file
diff --git a/.vscode/ltex.dictionary.en-US.txt b/.vscode/ltex.dictionary.en-US.txt
deleted file mode 100644
index 1383873..0000000
--- a/.vscode/ltex.dictionary.en-US.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-satisfiability
-btwn
-impl
diff --git a/.vscode/ltex.hiddenFalsePositives.en-US.txt b/.vscode/ltex.hiddenFalsePositives.en-US.txt
deleted file mode 100644
index 9f8fe46..0000000
--- a/.vscode/ltex.hiddenFalsePositives.en-US.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\Qconcurrent components)\\E$"}
-{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\Qconcurrent components).\\E$"}
-{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\Qconcurrent components of a system).\\E$"}
-{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\Qprocess algebra).\\E$"}
-{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\Qalso holds for impl.\\E$"}