From 7345f55b818b104a516057f5f7e51ce7753befcb Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 23 Dec 2005 10:44:50 +0000
Subject: *** empty log message ***

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

diff --git a/CHANGES b/CHANGES
index f2a887cb0f..49fb9b2986 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,10 @@
 Changes from V8.0
 =================
 
+Syntax
+
+- Removal of old syntax and translation support 
+
 Environment variables
 
 - COQREMOTEBROWSER to set the command invoked to start the remote browser
@@ -76,6 +80,11 @@ Library
   Zlt_square_simpl removed; fixed names mentioning letter O instead of
   digit 0; weaken premises in Z_lt_induction)
 
+Tools
+
+- New semantics for coqtop options ("-batch" expects option "-top dir"
+  for loading vernac file that contains definitions).
+
 Changes from V8.0beta to V8.0
 =============================
 
-- 
cgit v1.2.3