From f930602d29ee71144b620629b3f7148e22e309c1 Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 11 Feb 2009 14:39:08 +0000
Subject: Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11915 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/coq_config.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index c88d0d170..1eff9c38d 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -30,6 +30,7 @@ val coqrunbyteflags : string (* -custom/-dllib -lcoqrun *)
 
 val version : string    (* version number of Coq *)
 val date : string       (* release date *)
+val compile_date : string (* compile date *)
 val vo_magic_number : int
 val state_magic_number : int
 
-- 
cgit v1.2.3