← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to test-suite/output/Nametab.out

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stéphane Glondu, Samuel Mimram
  • Date: 2010-01-07 22:50:39 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
Tags: 8.2pl1-1
http://bugs.debian.org/563669
http://bugs.debian.org/543545
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
  - remove patches
* Packaging overhaul:
  - use git, advertise it in Vcs-* fields of debian/control
  - use debhelper 7 and dh with override
  - use source format 3.0 (quilt)
* debian/control:
  - set Maintainer to d-o-m, set Uploaders to Sam and myself
  - add Homepage field
  - bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright

[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
  pdf format, not postscript, closes: #543545.

Show diffs side-by-side

added added

removed removed

Lines of Context:
test-suite/output/Nametab.out
 
1
Constant Top.Q.N.K.foo
 
2
  (shorter name to refer to it in current context is Q.N.K.foo)
 
3
Constant Top.Q.N.K.foo
 
4
  (shorter name to refer to it in current context is Q.N.K.foo)
 
5
Constant Top.Q.N.K.foo
 
6
  (shorter name to refer to it in current context is Q.N.K.foo)
 
7
Constant Top.Q.N.K.foo
 
8
Constant Top.Q.N.K.foo
 
9
  (shorter name to refer to it in current context is Q.N.K.foo)
 
10
No module is referred to by basename K
 
11
No module is referred to by name N.K
 
12
Module Top.Q.N.K
 
13
Module Top.Q.N.K
 
14
No module is referred to by basename N
 
15
Module Top.Q.N
 
16
Module Top.Q.N
 
17
Module Top.Q
 
18
Module Top.Q
 
19
Constant Top.Q.N.K.foo
 
20
  (shorter name to refer to it in current context is K.foo)
 
21
Constant Top.Q.N.K.foo
 
22
Constant Top.Q.N.K.foo
 
23
  (shorter name to refer to it in current context is K.foo)
 
24
Constant Top.Q.N.K.foo
 
25
  (shorter name to refer to it in current context is K.foo)
 
26
Constant Top.Q.N.K.foo
 
27
  (shorter name to refer to it in current context is K.foo)
 
28
Module Top.Q.N.K
 
29
No module is referred to by name N.K
 
30
Module Top.Q.N.K
 
31
Module Top.Q.N.K
 
32
No module is referred to by basename N
 
33
Module Top.Q.N
 
34
Module Top.Q.N
 
35
Module Top.Q
 
36
Module Top.Q