diff options
| author | herbelin | 2009-01-13 20:10:55 +0000 |
|---|---|---|
| committer | herbelin | 2009-01-13 20:10:55 +0000 |
| commit | b7e4eb4bf5b05b69bb4b2e1c467871acd931fc1e (patch) | |
| tree | 9d12ad5796be079eea39aac69f324abe355ae924 /test-suite/output | |
| parent | 8c0674457da93136bffbc1415a6efa88d87e7843 (diff) | |
- Standardized prefix use of "Local"/"Global" modifiers as decided in
late 2008 Coq WG.
- Updated Copyright file wrt JProver.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11781 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/output')
| -rw-r--r-- | test-suite/output/ArgumentsScope.v | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test-suite/output/ArgumentsScope.v b/test-suite/output/ArgumentsScope.v index 13b5e13dd2..1ff53294e5 100644 --- a/test-suite/output/ArgumentsScope.v +++ b/test-suite/output/ArgumentsScope.v @@ -1,4 +1,4 @@ -(* A few tests to check Argument Scope Global command *) +(* A few tests to check Global Argument Scope command *) Section A. Variable a : bool -> bool. @@ -11,11 +11,11 @@ About b. About negb''. About negb'. About negb. -Arguments Scope Global negb'' [ _ ]. -Arguments Scope Global negb' [ _ ]. -Arguments Scope Global negb [ _ ]. -Arguments Scope Global a [ _ ]. -Arguments Scope Global b [ _ ]. +Global Arguments Scope negb'' [ _ ]. +Global Arguments Scope negb' [ _ ]. +Global Arguments Scope negb [ _ ]. +Global Arguments Scope a [ _ ]. +Global Arguments Scope b [ _ ]. About a. About b. About negb. |