Added function for AdaRM links and used it throughout.

bracke · May 5, 2024 · 76dff7d · 76dff7d
1 parent e7826f8
commit 76dff7d
Show file tree

Hide file tree

Showing 2 changed files with 507 additions and 499 deletions.
diff --git a/.vscode/AdaItem.code-snippets b/.vscode/AdaItem.code-snippets
@@ -39,5 +39,13 @@
 			"$0"
 		],
 		"description": "Ada Section"
+	},
+	"AdaRMLink": {
+		"prefix": "ada",
+		"body": [
+			"\\adarmlink{${1:page}}",
+			"$0"
+		],
+		"description": "Link to Ada RM"
 	}
 }