From 390d8d413fca6d3e0f0f6680d37ddad9a5b6d830 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 18 Feb 2005 22:18:00 +0000
Subject: Renaming Print Canonical Structure into Print Canonical Projections

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 2c865c877..8104f54eb 100644
--- a/CHANGES
+++ b/CHANGES
@@ -5,7 +5,7 @@ Vernacular commands
 
 - Added "Print Rewrite HintDb" to print the content of a DB used by
   autorewrite (doc TODO)
-- Added "Print Canonical Structures" (doc TODO)
+- Added "Print Canonical Projections" (doc TODO)
 
 Gallina
 
-- 
cgit v1.2.3