Commit 6367e2f3 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Updated Changelog

parent 7d5811fa
Change log for curry-frontend
Version 0.3.10
Under development
* The frontend now considers options pragmas of the following form:
......@@ -37,6 +37,9 @@ Version 0.3.10
* The HTML generation now accepts an option `--htmldir=dir` to specify
the output directory of the generated HTML files.
Version 0.3.10
* Various improvements of the internal structure.
* Improved status messages. The compilation status message are now of the form
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment