From 5089c8f140560dd0fdd5db719ae84bc8e773e04d Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 23 Aug 2012 13:13:00 +0000
Subject: CHANGES: document the end of states/initial.coq and coqtop.opt

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15756 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 3719481de8..3fd784affe 100644
--- a/CHANGES
+++ b/CHANGES
@@ -47,7 +47,15 @@ Internal Infrastructure
   many internal a.s.t. of Coq are now placed in mli files in
   a new directory intf/, for instance constrexpr.mli or glob_term.mli.
   More details in dev/doc/changes.
-
+- The file states/initial.coq does not exist anymore. Instead, coqtop
+  initially does a "Require" of Prelude.vo (or nothing when given
+  the options -noinit or -nois).
+- The build system does not produce anymore programs named coqtop.opt
+  and a symbolic link to coqtop. Instead, coqtop is now directly
+  an executable compiled with the best OCaml compiler available.
+  The bytecode program coqtop.byte is still produced. Same for other
+  utilities.
+ 
 Changes from V8.4beta2 to V8.4
 ==============================
 
-- 
cgit v1.2.3