From 8654111ba8e98680aa7965468a82746352b362a7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 9 May 2009 20:20:22 +0000
Subject: - Adding "Hint Resolve ->" and "Hint Resolve <-" for declaration of
 equivalence   as hints (see wish #2104). - New type hint_entry for
 interpreted hint. - Better centralization of functions dealing with
 evaluable_global_reference. - Unfortunately, camlp4 does not factorize rules
 so that "Hint Resolve" had   uglily to be factorized by hand. - Typography in
 RefMan-tac.tex.

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

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index c82e1e652f..92ea62b5e4 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -2,7 +2,7 @@
 = CHANGES BETWEEN COQ V8.2 AND COQ V8.3 =
 =========================================
 
-** Cleaning in parsing extensions (commit )
+** Cleaning in parsing extensions (commit 12108)
 
 Many moves and renamings, one new file (Extrawit, that contains wit_tactic).
 
-- 
cgit v1.2.3