From 45c29456023f7f7e61d305df2bf9dbc2929465dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 13:05:47 +0000
Subject: Fix markup

---
 doc/PG-adapting.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index bf375235..a6e35719 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -3739,7 +3739,7 @@ Proof General.
 ;;
 ;; Copyright (C) 1999 LFCS Edinburgh. 
 ;;
-;; Author: David Aspinall <David.Aspinall@ed.ac.uk>
+;; Author: David Aspinall <David.Aspinall@@ed.ac.uk>
 ;;
 ;; $Id$
 ;;
-- 
cgit v1.2.3