From e11388aac1f4f635e3c32d9b3200de16d779c630 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 18 Dec 2014 14:20:28 +0100
Subject: No longer include a pre-generated Parser.v in the distribution.
 Assorted updates to configure and Makefile.

---
 Changelog | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 87b2174f..4b8c3ff2 100644
--- a/Changelog
+++ b/Changelog
@@ -3,6 +3,11 @@
 - Upgraded Flocq to version 2.4.0.
 - cchecklink: added option "-files-from" to read .sdump file names
     from a file or from standard input.	  
+- Revised handling of "common" global declarations, fixes an issue
+    with uninitialized declarations of "const" global variables.
+- Use a Makefile instead of ocamlbuild to compile the OCaml code.
+
+
 
 Release 2.4, 2014-09-17
 =======================
-- 
cgit