From d84851a91cf7dc1ede95f9af3330770d2d2cf3c8 Mon Sep 17 00:00:00 2001
From: delahaye
Date: Wed, 25 Apr 2001 10:38:37 +0000
Subject: Mise-a-jour de la biblio

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

(limited to 'doc/RefMan-ltac.tex')

diff --git a/doc/RefMan-ltac.tex b/doc/RefMan-ltac.tex
index bc79cbbe81..9ad394e5f6 100644
--- a/doc/RefMan-ltac.tex
+++ b/doc/RefMan-ltac.tex
@@ -10,7 +10,7 @@ This chapter gives a compact documentation of the tactic language available in
 the toplevel of {\Coq}. We start by giving the syntax and, next, we present the
 informal semantic. Finally, we show some examples which deal with small but
 also with non-trivial problems. If you want to know more regarding this
-language and especially about its fundations, you can refer to~\cite{LTAC}.
+language and especially about its fundations, you can refer to~\cite{Del00}.
 
 \section{Syntax}
 
-- 
cgit v1.2.3