diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index 0ed53e5507..bb9c08dfc2 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -6,6 +6,18 @@ All notable changes to this project will be documented in this file.
 
 ### Added
 
+### Changed
+
+### Deprecated
+
+### Removed
+
+### Fixed
+
+## [0.19.0.0] - 2020-04-15
+
+### Added
+
 - Added options for debugging equation application:
   - `--debug-attempt-equation`
   - `--debug-apply-equation`
@@ -18,6 +30,10 @@ All notable changes to this project will be documented in this file.
 
 - Applying equation-based rules (primarily function rules and simplification rules) is more efficient.
 - Equations may not have free variables occurring only on the right-hand side.
+- Command-line options that expect a module name check that their argument is a _valid_ module name.
+- The log displays the context of each entry.
+- The log displays the _type_ of each context to be used with option `--log-entries` for more information.
+- The format of parsing and validation errors is more similar to other parsers and compilers.
 
 ### Removed
 
@@ -30,7 +46,7 @@ All notable changes to this project will be documented in this file.
   - `DebugAxiomEvaluation`
   - `DebugSkipSimplification`
 
-## [0.1.0] - 2018-01-17
+## [0.0.1.0] - 2018-01-17
 
 ### Added
 
diff --git a/kore/package.yaml b/kore/package.yaml
index 0212cf3cb7..337f4e8dcd 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -1,11 +1,11 @@
 name:                kore
-version:             0.0.1.0
+version:             0.19.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE
 author:              "Virgil Serbanuta"
 maintainer:          "virgil.serbanuta@runtimeverification.com"
-copyright:           "2018-2019 Runtime Verification Inc"
+copyright:           "2018-2020 Runtime Verification Inc"
 category:            Language
 
 extra-source-files: