From 0176dd0d2d657867c7ecc93fc979dc15c1409336 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 7 Mar 2011 15:45:20 +0000
Subject: CHANGES: mentionning quickly Separate Extraction

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

diff --git a/CHANGES b/CHANGES
index 8a647fb410..6cac125b19 100644
--- a/CHANGES
+++ b/CHANGES
@@ -76,6 +76,11 @@ Internal infrastructure
 Extraction
 
 - The pretty-printer for Haskell now produces layout-independant code
+- A new command "Separate Extraction cst1 cst2 ..." that mixes a
+  minimal extracted environment a la "Recursive Extraction" and the
+  production of several files (one per coq source) a la "Extraction Library".
+  DOC TODO.
+
 
 Changes from V8.2 to V8.3
 =========================
-- 
cgit v1.2.3