doc(doc/changes): 3.4.2 changelog

leanprover · Jan 18, 2019 · f3f98ea · f3f98ea
1 parent 95fa4cf
commit f3f98ea
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/doc/changes.md b/doc/changes.md
@@ -1,3 +1,24 @@
+v3.4.2 (18 Jan 2019)
+-------------
+
+Patch release
+
+*Features*
+
+* `leanpkg`: Allow specifying a branch to use for `leanpkg upgrade` ([#1981](https://github.com/leanprover/lean/pull/1981))
+
+*Changes*
+
+* Fix the definition of `list.lt`
+
+* Make `leanpkg` work when installed in a path containing spaces
+
+* `io`: Encode/decode UTF-8 for text-mode streams
+
+* Remove `coinductive` predicates and `transfer`. To be moved to [mathlib](https://github.com/leanprover/mathlib) instead.
+
+* Windows: Ignore file changes that only changed line endings
+
 v3.4.1 (28 April 2018)
 -------------