From d481f9ae997edb7ae0f048ff4295c14750b4e423 Mon Sep 17 00:00:00 2001
From: narboux
Date: Mon, 1 Dec 2003 10:08:52 +0000
Subject: Idtac parle

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

diff --git a/CHANGES b/CHANGES
index 7781c0bd0b..a9a8698d98 100644
--- a/CHANGES
+++ b/CHANGES
@@ -161,6 +161,7 @@ Library
 Tactic language
 
 - Fail tactic now accepts a failure message
+- Idtac tactic now accepts a message
 - New primitive tactic "FreshId" (new syntax: "Fresh") to generate new names
 - Debugger prints levels of calls
 
-- 
cgit v1.2.3