diff --git a/documentation/releasenotes/ReleaseNotes_2.5.4.md b/documentation/releasenotes/ReleaseNotes_2.5.4.md
new file mode 100644
index 0000000000..ecd2fc74a4
--- /dev/null
+++ b/documentation/releasenotes/ReleaseNotes_2.5.4.md
@@ -0,0 +1,39 @@
+
+# [Overture  v2.5.4 - Release Notes - 10 November 2017](https://github.com/overturetool/overture/milestone/36)
+
+## What's New?
+
+This release contains several bug fixes and enhancements for Overture's core features (e.g. type-checker and interpreter), and increased coverage of constructs that can be code-generated to Java (see details below).
+
+## Reporting Problems and Troubleshooting
+
+Please report bugs, problems, and other issues with the tool at <https://github.com/overturetool/overture/issues>.
+
+If you encounter a problem with the Overture IDE itself, please contact the Overture project and we will try to help.  You can contact us at info@overturetool.org, or use [StackOverflow](http://stackoverflow.com/questions/tagged/vdm%2b%2b) — we monitor for questions using the `vdm`, `vdm++`, or `vdmrt` tags.
+
+If you encounter a problem with a VDM specification, please try to make a small example that illustrates the problem before you contact us.  If you are sure the bug is not already known in the GitHub issues list, you can create a new bug report.
+
+
+## Other Resources and Links
+
+* [Overture Community site](http://www.overturetool.org)
+* [VDM-10 Language Manual](http://raw.github.com/overturetool/documentation/master/documentation/VDM10LangMan/VDM10_lang_man.pdf)
+* [VDM Tutorials](http://overturetool.org/documentation/tutorials.html)
+* [VDM Examples](http://overturetool.org/download/examples/)
+* [Wikipedia on VDM](http://en.wikipedia.org/wiki/Vienna_Development_Method)
+* [Overture Developers Wiki on GitHub](https://github.com/overturetool/overture/wiki/)
+* [The Old Overture Wiki for developers](http://wiki.overturetool.org)
+
+
+## Bugfixes
+
+Please note that the interactive list is at <https://github.com/overturetool/overture/milestone/36>
+* [#650 closed - Java code-generator does not handle the nondeterministic statement correctly](https://github.com/overturetool/overture/issues/650)
+* [#649 closed - ** operator type errors have wrong location information](https://github.com/overturetool/overture/issues/649)
+* [#648 closed - Extend Java code-generation support for maps](https://github.com/overturetool/overture/issues/648)
+* [#647 closed - Interpreter fails to find object member](https://github.com/overturetool/overture/issues/647)
+* [#646 closed - File AlarmInitUML.uml](https://github.com/overturetool/overture/issues/646)
+* [#645 closed - Add support for code-generation of the iota expression](https://github.com/overturetool/overture/issues/645)
+* [#643 closed - Mu expressions can miss type checking errors](https://github.com/overturetool/overture/issues/643)
+* [#642 closed - Generating PDF with the modelOnly preference does not drop non-model text](https://github.com/overturetool/overture/issues/642)
+* [#641 closed - When pretty printing with the option where model only is switched off one shall not generate \section{ClassName}](https://github.com/overturetool/overture/issues/641)