From 69aff8116b4878671daf73cc7ccf713aac0c0e6d Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Tue, 5 Aug 2014 09:41:22 +0200
Subject: Making references to Proof General and CoqIDE uniform in Reference
 Manual.

---
 doc/common/macros.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/common')

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index 2704a28af..c5538aaab 100755
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -96,6 +96,7 @@
 \newcommand{\ocaml}{\textsc{Objective Caml}}
 \newcommand{\camlpppp}{\textsc{Camlp4}}
 \newcommand{\emacs}{\textsc{GNU Emacs}}
+\newcommand{\ProofGeneral}{\textsc{Proof General}}
 \newcommand{\CIC}{\pCIC}
 \newcommand{\pCIC}{p\textsc{Cic}}
 \newcommand{\iCIC}{\textsc{Cic}}
-- 
cgit v1.2.3