diff --git a/annotations/documentation/AnnotationGuide.odt b/annotations/documentation/AnnotationGuide.odt
index c04fbe175..fe46d0e3a 100644
Binary files a/annotations/documentation/AnnotationGuide.odt and b/annotations/documentation/AnnotationGuide.odt differ
diff --git a/annotations/documentation/AnnotationGuide.pdf b/annotations/documentation/AnnotationGuide.pdf
index 77ce2c4b6..2e0c76dc3 100644
Binary files a/annotations/documentation/AnnotationGuide.pdf and b/annotations/documentation/AnnotationGuide.pdf differ
diff --git a/annotations/src/main/resources/vdmj.annotations b/annotations/src/main/resources/vdmj.annotations
new file mode 100644
index 000000000..4f55a872a
--- /dev/null
+++ b/annotations/src/main/resources/vdmj.annotations
@@ -0,0 +1,10 @@
+annotations.ast.ASTConjectureAnnotation
+annotations.ast.ASTDeadlineMetAnnotation
+annotations.ast.ASTNoPOGAnnotation
+annotations.ast.ASTOnFailAnnotation
+annotations.ast.ASTOverrideAnnotation
+annotations.ast.ASTPrintfAnnotation
+annotations.ast.ASTSeparateAnnotation
+annotations.ast.ASTSepRequireAnnotation
+annotations.ast.ASTTraceAnnotation
+annotations.ast.ASTWarningAnnotation
\ No newline at end of file
diff --git a/annotations2/src/main/resources/vdmj.annotations b/annotations2/src/main/resources/vdmj.annotations
new file mode 100644
index 000000000..2c623e42b
--- /dev/null
+++ b/annotations2/src/main/resources/vdmj.annotations
@@ -0,0 +1,5 @@
+annotations.ast.ASTChangesAnnotation
+annotations.ast.ASTGhostAnnotation
+annotations.ast.ASTLimitAnnotation
+annotations.ast.ASTTestAnnotation
+annotations.ast.ASTWitnessAnnotation
\ No newline at end of file