Imported Upstream version 8.3~rc1+dfsgupstream/8.3.rc1.dfsg

21 files changed, 21 insertions, 21 deletions

diff --git a/ide/command_windows.ml b/ide/command_windows.ml
index 44ede5ac..4510189b 100644
--- a/ide/command_windows.ml
+++ b/ide/command_windows.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: command_windows.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 class command_window () =
 (*  let window = GWindow.window
diff --git a/ide/command_windows.mli b/ide/command_windows.mli
index 821d4ef2..eb0aa568 100644
--- a/ide/command_windows.mli
+++ b/ide/command_windows.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: command_windows.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 class command_window :
   unit ->
diff --git a/ide/config_lexer.mll b/ide/config_lexer.mll
index 05a7d443..4e3ffd89 100644
--- a/ide/config_lexer.mll
+++ b/ide/config_lexer.mll
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: config_lexer.mll 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 {
 
diff --git a/ide/config_parser.mly b/ide/config_parser.mly
index a412391e..0859cbe0 100644
--- a/ide/config_parser.mly
+++ b/ide/config_parser.mly
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************/
 
-/* $Id$ */
+/* $Id: config_parser.mly 13323 2010-07-24 15:57:30Z herbelin $ */
 
 %{
 
diff --git a/ide/coq.ml b/ide/coq.ml
index 3aaec889..9a12f1c1 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: coq.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 open Vernac
 open Vernacexpr
diff --git a/ide/coq.mli b/ide/coq.mli
index c81439f5..af17c0e9 100644
--- a/ide/coq.mli
+++ b/ide/coq.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: coq.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 open Names
 open Term
diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml
index 0fee399e..c8a5c940 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: coq_commands.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 let commands = [
   [(* "Abort"; *)
diff --git a/ide/coq_tactics.ml b/ide/coq_tactics.ml
index 1ad05785..e3d8131e 100644
--- a/ide/coq_tactics.ml
+++ b/ide/coq_tactics.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: coq_tactics.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 let tactics = [
   "Abstract";
diff --git a/ide/coq_tactics.mli b/ide/coq_tactics.mli
index c5e4ca62..e33c73ab 100644
--- a/ide/coq_tactics.mli
+++ b/ide/coq_tactics.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: coq_tactics.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 val tactics : string list
 
diff --git a/ide/coqide.ml b/ide/coqide.ml
index 96ef695b..08452fe2 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: coqide.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 open Preferences
 open Vernacexpr
diff --git a/ide/coqide.mli b/ide/coqide.mli
index b79b2389..b70a9b4b 100644
--- a/ide/coqide.mli
+++ b/ide/coqide.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: coqide.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (* The CoqIde main module. The following function [start] will parse the
    command line, initialize the load path, load the input
diff --git a/ide/highlight.mll b/ide/highlight.mll
index 3a6a6192..dfcc4354 100644
--- a/ide/highlight.mll
+++ b/ide/highlight.mll
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: highlight.mll 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 {
 
diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index adeabf5d..138bf5f6 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: ideutils.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 
 open Preferences
diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index 28199207..9af4fb43 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: ideutils.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 val async : ('a -> unit) -> 'a -> unit
 val sync  : ('a -> 'b) -> 'a -> 'b
diff --git a/ide/preferences.ml b/ide/preferences.ml
index d5ed7934..31d03ab9 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: preferences.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 open Configwin
 open Printf
diff --git a/ide/preferences.mli b/ide/preferences.mli
index cc39dcc3..50659717 100644
--- a/ide/preferences.mli
+++ b/ide/preferences.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: preferences.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 type pref =
     {
diff --git a/ide/undo.ml b/ide/undo.ml
index 50e1a515..819b4807 100644
--- a/ide/undo.ml
+++ b/ide/undo.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: undo.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 open GText
 open Ideutils
diff --git a/ide/undo_lablgtk_ge26.mli b/ide/undo_lablgtk_ge26.mli
index 4d70a3ad..c260f171 100644
--- a/ide/undo_lablgtk_ge26.mli
+++ b/ide/undo_lablgtk_ge26.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: undo_lablgtk_ge26.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (* An undoable view class *)
 
diff --git a/ide/undo_lablgtk_lt26.mli b/ide/undo_lablgtk_lt26.mli
index f1910148..c9d1bacb 100644
--- a/ide/undo_lablgtk_lt26.mli
+++ b/ide/undo_lablgtk_lt26.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
+(*i $Id: undo_lablgtk_lt26.mli 13323 2010-07-24 15:57:30Z herbelin $ i*)
 
 (* An undoable view class *)
 
diff --git a/ide/utf8_convert.mll b/ide/utf8_convert.mll
index 1025e3b4..5034ab3c 100644
--- a/ide/utf8_convert.mll
+++ b/ide/utf8_convert.mll
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(* $Id: utf8_convert.mll 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 {
   open Lexing
diff --git a/ide/utils/config_file.ml b/ide/utils/config_file.ml
index 37f2e9a4..d972639f 100644
--- a/ide/utils/config_file.ml
+++ b/ide/utils/config_file.ml
@@ -23,7 +23,7 @@
 (*                                                                               *)
 (*********************************************************************************)
 
-(* $Id$ *)
+(* $Id: config_file.ml 10348 2007-12-06 17:36:14Z aspiwack $ *)
 
 (* TODO *)
 (* section comments *)