diff options
| author | filliatr | 2000-12-12 22:07:41 +0000 |
|---|---|---|
| committer | filliatr | 2000-12-12 22:07:41 +0000 |
| commit | 8030a420d2cfcf8372d5fe6544efbecde940381b (patch) | |
| tree | 6d4a3c198d4dbecf0cf15f3b53c31447aacfafd7 /pretyping | |
| parent | faa2647739aa33421328af4ffeaba1bb474e868e (diff) | |
syntaxe AST Inversion + commentaires ocamlweb autour de $
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1090 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping')
| -rw-r--r-- | pretyping/cases.mli | 2 | ||||
| -rw-r--r-- | pretyping/classops.mli | 2 | ||||
| -rw-r--r-- | pretyping/coercion.mli | 2 | ||||
| -rw-r--r-- | pretyping/detyping.mli | 2 | ||||
| -rw-r--r-- | pretyping/evarconv.mli | 2 | ||||
| -rw-r--r-- | pretyping/evarutil.mli | 2 | ||||
| -rw-r--r-- | pretyping/multcase.mli | 2 | ||||
| -rw-r--r-- | pretyping/pretype_errors.mli | 2 | ||||
| -rw-r--r-- | pretyping/pretyping.mli | 2 | ||||
| -rw-r--r-- | pretyping/rawterm.mli | 2 | ||||
| -rwxr-xr-x | pretyping/recordops.mli | 2 | ||||
| -rw-r--r-- | pretyping/retyping.mli | 2 | ||||
| -rw-r--r-- | pretyping/syntax_def.mli | 2 | ||||
| -rw-r--r-- | pretyping/tacred.mli | 2 | ||||
| -rw-r--r-- | pretyping/typing.mli | 2 |
15 files changed, 15 insertions, 15 deletions
diff --git a/pretyping/cases.mli b/pretyping/cases.mli index fa9d282ab8..b7a04f6446 100644 --- a/pretyping/cases.mli +++ b/pretyping/cases.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/classops.mli b/pretyping/classops.mli index 342161cb44..19f8a77cd6 100644 --- a/pretyping/classops.mli +++ b/pretyping/classops.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Pp diff --git a/pretyping/coercion.mli b/pretyping/coercion.mli index 038edcb9bd..e636f2fbd9 100644 --- a/pretyping/coercion.mli +++ b/pretyping/coercion.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Evd diff --git a/pretyping/detyping.mli b/pretyping/detyping.mli index 5f3108d483..6d19c624aa 100644 --- a/pretyping/detyping.mli +++ b/pretyping/detyping.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/evarconv.mli b/pretyping/evarconv.mli index 7d53d31118..f1a247b452 100644 --- a/pretyping/evarconv.mli +++ b/pretyping/evarconv.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Term diff --git a/pretyping/evarutil.mli b/pretyping/evarutil.mli index 753bb0fd18..772841e138 100644 --- a/pretyping/evarutil.mli +++ b/pretyping/evarutil.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/multcase.mli b/pretyping/multcase.mli index c0997c044e..41cf5561e7 100644 --- a/pretyping/multcase.mli +++ b/pretyping/multcase.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/pretype_errors.mli b/pretyping/pretype_errors.mli index e91ec8a45c..7d93dbb180 100644 --- a/pretyping/pretype_errors.mli +++ b/pretyping/pretype_errors.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Pp diff --git a/pretyping/pretyping.mli b/pretyping/pretyping.mli index c7d1665c7a..d28732941d 100644 --- a/pretyping/pretyping.mli +++ b/pretyping/pretyping.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/rawterm.mli b/pretyping/rawterm.mli index b0f6615b96..e3233072b2 100644 --- a/pretyping/rawterm.mli +++ b/pretyping/rawterm.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/recordops.mli b/pretyping/recordops.mli index 8ad0203b35..7d28eeffb7 100755 --- a/pretyping/recordops.mli +++ b/pretyping/recordops.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/retyping.mli b/pretyping/retyping.mli index 4d472c19c4..5eee11d19c 100644 --- a/pretyping/retyping.mli +++ b/pretyping/retyping.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/syntax_def.mli b/pretyping/syntax_def.mli index 7a1116ba05..84ef5e1d9e 100644 --- a/pretyping/syntax_def.mli +++ b/pretyping/syntax_def.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/tacred.mli b/pretyping/tacred.mli index ede13abea0..e17db58c63 100644 --- a/pretyping/tacred.mli +++ b/pretyping/tacred.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Names diff --git a/pretyping/typing.mli b/pretyping/typing.mli index eaad2791f6..8fae1cd416 100644 --- a/pretyping/typing.mli +++ b/pretyping/typing.mli @@ -1,5 +1,5 @@ -(* $Id$ *) +(*i $Id$ i*) (*i*) open Term |