From 6f7aebb09c89e95bd7520dad482f20e7a11fb279 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Fri, 25 Jul 2014 15:17:28 +0200
Subject: CHANGE: add Derive.

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES b/CHANGES
index c20f4ca894..de2f0948cd 100644
--- a/CHANGES
+++ b/CHANGES
@@ -55,6 +55,7 @@ Vernacular commands
 - The "Locate" command now searches through all sorts of qualified namespaces of
   Coq: terms, modules, tactics, etc. The old behaviour of the command can be
   retrieved using the "Locate Term" command.
+- New "Derive" command to help writing program by derivation.
 
 Specification Language
 
-- 
cgit v1.2.3