Added Changelog

runtimeverification · May 27, 2024 · c8aaf38 · c8aaf38
1 parent b914c8c
commit c8aaf38
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -0,0 +1,7 @@
+# Change Log
+
+All notable changes to the "Simbolik VSCode" extension will be documented in this file.
+
+## [3.0.0] - 2024-05-27
+
+- Public Beta release of the extension