From 5ceef45ab14985583c4da9b4627aaf1104b938e6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 1 Dec 2009 10:59:21 +0000 Subject: Comments --- coq/example.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/example.v') diff --git a/coq/example.v b/coq/example.v index 939f89c9..5c6894c7 100644 --- a/coq/example.v +++ b/coq/example.v @@ -1,5 +1,5 @@ (* - Example proof script for Coq Proof General (Coq V8 syntax). + Example proof script for Coq Proof General. $Id$ *) -- cgit v1.2.3