diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/command_windows.mli | 2 | ||||
| -rw-r--r-- | ide/coq.mli | 2 | ||||
| -rw-r--r-- | ide/coq_tactics.mli | 2 | ||||
| -rw-r--r-- | ide/coqide.mli | 2 | ||||
| -rw-r--r-- | ide/ideutils.mli | 2 | ||||
| -rw-r--r-- | ide/preferences.mli | 2 | ||||
| -rw-r--r-- | ide/undo.mli | 2 |
7 files changed, 7 insertions, 7 deletions
diff --git a/ide/command_windows.mli b/ide/command_windows.mli index f3ea7d853..5b060db24 100644 --- a/ide/command_windows.mli +++ b/ide/command_windows.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) class command_window : unit -> diff --git a/ide/coq.mli b/ide/coq.mli index 5e2c44de4..1d71db35b 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) open Names open Term diff --git a/ide/coq_tactics.mli b/ide/coq_tactics.mli index 237468446..c31933baa 100644 --- a/ide/coq_tactics.mli +++ b/ide/coq_tactics.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) val tactics : string list diff --git a/ide/coqide.mli b/ide/coqide.mli index 848b45fdb..d84158a0b 100644 --- a/ide/coqide.mli +++ b/ide/coqide.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ 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/ideutils.mli b/ide/ideutils.mli index 091c77a50..ff6614dfb 100644 --- a/ide/ideutils.mli +++ b/ide/ideutils.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) val async : ('a -> unit) -> 'a -> unit val browse : (string -> unit) -> string -> unit diff --git a/ide/preferences.mli b/ide/preferences.mli index e39bf6704..50b988e90 100644 --- a/ide/preferences.mli +++ b/ide/preferences.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) type pref = { diff --git a/ide/undo.mli b/ide/undo.mli index a49844d1d..82bcf2384 100644 --- a/ide/undo.mli +++ b/ide/undo.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) (* An undoable view class *) |