From d6d5fd216c5b26cba2cb6f1d273ac3b0d9c359f8 Mon Sep 17 00:00:00 2001
From: notin
Date: Mon, 6 Mar 2006 15:07:54 +0000
Subject: Deplacement du répertoire doc dans dev

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8140 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/doc/macros.tex | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 dev/doc/macros.tex

(limited to 'dev/doc/macros.tex')

diff --git a/dev/doc/macros.tex b/dev/doc/macros.tex
new file mode 100644
index 0000000000..6beacf7b0b
--- /dev/null
+++ b/dev/doc/macros.tex
@@ -0,0 +1,7 @@
+
+% macros for coq.tex
+
+\newcommand{\Coq}{\textsf{Coq}}
+\newcommand{\CCI}{Calculus of Inductive Constructions}
+
+\newcommand{\refsec}[1]{\textbf{\ref{#1}}}
\ No newline at end of file
-- 
cgit v1.2.3

