Really release v0.0.8

.envrc

@@ -1,2 +1 @@
 layout node
-export GIT_DIR=$PWD/.jj/repo/store/git

.gitignore

@@ -2,4 +2,3 @@ node_modules
 *.vsix
 /abs/out/
 /abs/.vscode-test
-/notes.org

README.md

@@ -22,11 +22,11 @@ two items to `abs.compileOptions`: `-jar` and `/path/to/absfrontend.jar`.
 
 ## Installing
 
-To install the latest released version, download the `.vsix` file from https://github.com/abstools/abs-vs-code/releases/latest (currently `abs-0.0.7.vsix`).
+To install the latest released version, download the `.vsix` file from https://github.com/abstools/abs-vs-code/releases/latest (currently `abs-0.0.8.vsix`).
 
 ### Installing from the Command Line
 
-Run `code --install-extension abs-0.0.7.vsix`
+Run `code --install-extension abs-0.0.8.vsix`
 
 ### Installing from inside Visual Studio Code
 
@@ -38,7 +38,7 @@ Run `code --install-extension abs-0.0.7.vsix`
    <img alt="First click 'Extensions', then the horizontal dots menu at the top of the list, then 'Install from VSIX...'" src="images/installing.png">
    </picture>
 
-3. In the file browser, choose the `abs-0.0.7.vsix` file downloaded from https://github.com/abstools/abs-vs-code/releases/latest .
+3. In the file browser, choose the `abs-0.0.8.vsix` file downloaded from https://github.com/abstools/abs-vs-code/releases/latest .
 
 ### Running an unreleased version
 

abs/README.md

@@ -10,6 +10,10 @@ file from inside the editor.
 
 ## Release Notes
 
+### 0.0.8
+
+- Add snippets for `map`, `filter`, `foldl`, `foldr`.
+
 ### 0.0.7
 
 - Fix ABS compilation command.

abs/package.json

@@ -3,7 +3,7 @@
     "displayName": "ABS",
     "description": "Support for the Abs language",
     "icon": "images/ABS_logo.png",
-    "version": "0.0.7",
+    "version": "0.0.8",
     "publisher": "abs-models-org",
     "author": {
         "name": "Rudolf Schlatte"