Release 0.5.2

informalsystems · Jan 17, 2023 · 2f285d6 · 2f285d6
1 parent be6cbb5
commit 2f285d6
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,12 @@ 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.5.2 -- 2023-01-17
+
+### Added
+
+- Hello world tutorial (#510)
+
 ## v0.5.1 -- 2023-01-13
 
 ### Fixed

diff --git a/quint/package-lock.json b/quint/package-lock.json
diff --git a/quint/package.json b/quint/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.5.1",
+  "version": "0.5.2",
   "description": "Core tool for the Quint specification language",
   "keywords": [
     "temporal",