From 792c7e078754f440ab16b0420a4ea045d7daccef Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 5 Nov 2008 22:03:08 +0000
Subject: Minor fixes: - Rework definition of the type of respecful functions
 in Morphisms.v - Unfold [flip] in "Add Morphism" tactic (suggested by N.
 Tabareau) - Add a "coqvariableref" command in coqdoc.

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

(limited to 'tools')

diff --git a/tools/coqdoc/coqdoc.sty b/tools/coqdoc/coqdoc.sty
index 7380deb603..fdf11cb9c4 100644
--- a/tools/coqdoc/coqdoc.sty
+++ b/tools/coqdoc/coqdoc.sty
@@ -92,7 +92,6 @@
 \ifpdf
   \RequirePackage{hyperref}
   \hypersetup{raiselinks=true,colorlinks=true,linkcolor=black}
-  \RequirePackage{hypcap}
 
   % To do indexing, use something like:
   % \usepackage{multind}
@@ -148,6 +147,7 @@
 \newcommand{\coqdefinitionref}[2]{\coqref{#1}{\coqdoccst{#2}}}
 
 \newcommand{\coqvariable}[2]{\coqdocvar{#2}}
+\newcommand{\coqvariableref}[2]{\coqref{#1}{\coqdocvar{#2}}}
 
 \newcommand{\coqinductive}[2]{\coqdef{#1}{#2}{\coqdocind{#2}}}
 \newcommand{\coqinductiveref}[2]{\coqref{#1}{\coqdocind{#2}}}
-- 
cgit v1.2.3