From e35ad3c1aa44aa8f0a7309ad343cae7d8634d555 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Dec 2007 16:33:35 +0000
Subject: Updated.

---
 coq/test8.v | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/coq/test8.v b/coq/test8.v
index c6ab8c59..caa82a0e 100644
--- a/coq/test8.v
+++ b/coq/test8.v
@@ -1,4 +1,6 @@
-Add LoadPath "/home/courtieu/coq/actual/ide". 
+(* -*- coding: utf-8; -*- *)
+
+Add LoadPath "/usr/lib/coq/ide". 
 Require Import utf8.
 
 (* Printing of unicode notation, in *goals* *)
-- 
cgit v1.2.3