From f18e6146f4fd6ed5b8ded10a3e602f5f64f919f4 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 6 Aug 2010 16:15:08 -0400
Subject: Imported Upstream version 8.3~rc1+dfsg

---
 plugins/dp/Dp.v     | 2 +-
 plugins/dp/g_dp.ml4 | 2 +-
 plugins/dp/zenon.v  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'plugins/dp')

diff --git a/plugins/dp/Dp.v b/plugins/dp/Dp.v
index bc7d73f6..5ddc4452 100644
--- a/plugins/dp/Dp.v
+++ b/plugins/dp/Dp.v
@@ -6,7 +6,7 @@ Require Export Classical.
 (* Zenon *)
 
 (*  Copyright 2004 INRIA  *)
-(*  $Id$  *)
+(*  $Id: Dp.v 12337 2009-09-17 15:58:14Z glondu $  *)
 
 Lemma zenon_nottrue :
   (~True -> False).
diff --git a/plugins/dp/g_dp.ml4 b/plugins/dp/g_dp.ml4
index d28873a0..9c61aad5 100644
--- a/plugins/dp/g_dp.ml4
+++ b/plugins/dp/g_dp.ml4
@@ -8,7 +8,7 @@
 
 (*i camlp4deps: "parsing/grammar.cma" i*)
 
-(* $Id$ *)
+(* $Id: g_dp.ml4 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 open Dp
 
diff --git a/plugins/dp/zenon.v b/plugins/dp/zenon.v
index 502465c6..f2400a7f 100644
--- a/plugins/dp/zenon.v
+++ b/plugins/dp/zenon.v
@@ -1,5 +1,5 @@
 (*  Copyright 2004 INRIA  *)
-(*  $Id$  *)
+(*  $Id: zenon.v 11996 2009-03-20 01:22:58Z letouzey $  *)
 
 Require Export Classical.
 
-- 
cgit v1.2.3