Release 0.4.0

CHANGELOG.md

@@ -5,7 +5,7 @@ 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).
 
-## [unreleased]
+## v0.4.0 -- 2022-12-22
 
 ### Added
 
@@ -17,6 +17,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Project renamed to `quint` (#458)
 - REPL can now receive input that includes its prompt (#430)
 - Calling `quint` without an argument now starts the REPL (#445)
+- Renamed vscode plugin package to `quint-vscode` (#463)
+- Renamed `quint` package to `@informalsystems/quint`, establishing it under the
+  `informalsystems` organization.
 
 ### Fixed
 

quint/package.json

@@ -1,8 +1,14 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.3.0",
+  "version": "0.4.0",
   "description": "Core tool for the Quint specification language",
-  "keywords": ["temporal", "logic", "formal", "specification", "verification"],
+  "keywords": [
+    "temporal",
+    "logic",
+    "formal",
+    "specification",
+    "verification"
+  ],
   "homepage": "https://github.com/informalsystems/quint",
   "bugs": "https://github.com/informalsystems/quint/issues",
   "license": "Apache 2.0",
@@ -37,21 +43,29 @@
       "es2021": true,
       "mocha": true
     },
-    "extends": ["standard"],
+    "extends": [
+      "standard"
+    ],
     "parser": "@typescript-eslint/parser",
     "parserOptions": {
       "ecmaVersion": 2021,
       "sourceType": "module"
     },
-    "ignorePatterns": ["src/generated/*"],
+    "ignorePatterns": [
+      "src/generated/*"
+    ],
     "plugins": [
       "@typescript-eslint",
       "eslint-plugin-json",
       "eslint-plugin-import",
       "eslint-plugin-node"
     ]
   },
-  "files": ["README.md", "dist/**/*", "test/**/*.ts"],
+  "files": [
+    "README.md",
+    "dist/**/*",
+    "test/**/*.ts"
+  ],
   "engines": {
     "node": "*"
   },