Bump to v0.4.0

Author: L-TChen

CHANGELOG.md

@@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html)
 
+## v0.4.0 - 2023-08-02
+
+The version number v0.4.0 was bumped by accident.
+This version is identical to v0.3.13 (except the CHANGELOG and the metadata).
+
 ## v0.3.13 - 2023-08-02
 
 ### Fixed

package-lock.json

@@ -4,7 +4,7 @@
 	"description": "agda-mode on vscode",
 	"icon": "asset/logo.png",
 	"publisher": "banacorn",
-	"version": "0.3.13",
+	"version": "0.4.0",
 	"engines": {
 		"vscode": "^1.41.0"
 	},