From 76a04c65ed0e9666410a0e423d1ed88f54860d59 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Peem=C3=B6ller?= Date: Tue, 20 May 2014 17:32:47 +0200 Subject: [PATCH] Updated Changelog --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 20402de7..5eb802a7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,12 @@ Change log for curry-frontend Version 0.3.10 ============== + * Refactored the source code HTML generation. + The generation now supports full Curry with all supported extensions, + i.e., it supports pragmas, record types and functional patterns. + Furthermore, the created HTML has been simplified, and updated towards + HTML 5. + * The HTML generation now accepts an option `--htmldir=dir` to specify the output directory of the generated HTML files. -- GitLab