From 99c0f58854ecefff9e403212e8121dee85617b87 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 9 Nov 2004 15:24:53 +0000
Subject: MAJ

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

diff --git a/CHANGES b/CHANGES
index f0f9c437e9..71a6f3118f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,6 +14,10 @@ Ltac
 - New modifier "lazy" for "match t with" and "match goal with" telling
   to delay the evaluation of tactic expression.
 
+Tactics
+
+- Added "dependent rewrite term" and "dependent rewrite term in hyp" (doc TODO)
+
 Notations
 
 - "format" option aware of recursive notations
-- 
cgit v1.2.3