diff --git a/changelog.md b/changelog.md
index 197b0a2a..d3412c76 100644
--- a/changelog.md
+++ b/changelog.md
@@ -1,12 +1,14 @@
 # Changelog
 All notable changes to this project will be documented in this file.
 
-## [Unreleased]
+## [0.3.0] - 2020-02-03
 ### Added
 - Support for `fold` terms.
 - Options to restrict which results are printed after evaluation. 
 - Nested, variable-capturing functions (i.e., `let fun` expressions).
 - Added generic serialization function `to_string`.
+- Preliminary (and undocumented) option to compile Formulog program to C++
+  instead of interpreting it.
 
 ### Changed
 - Do not require parentheses around tuple types.
diff --git a/pom.xml b/pom.xml
index de8ffddc..27e14d3c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>edu.harvard.seas.pl</groupId>
 	<artifactId>formulog</artifactId>
-	<version>0.2.0-SNAPSHOT</version>
+	<version>0.3.0-SNAPSHOT</version>
 	<name>formulog</name>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>