« back to all changes in this revision
Viewing changes to tools/README.coq-tex
- Committer: Bazaar Package Importer
- Date: 2010-01-07 22:50:39 UTC
- mfrom: (1.2.2 upstream)
- Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
[ 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.
* 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.
- files added:
- CHANGES
- bin
- checker
- config
- contrib
- contrib/cc
- contrib/correctness
- contrib/correctness/examples
- contrib/dp
- contrib/extraction
- contrib/field
- contrib/firstorder
- contrib/fourier
- contrib/funind
- contrib/interface
- contrib/micromega
- contrib/omega
- contrib/ring
- contrib/romega
- contrib/rtauto
- contrib/setoid_ring
- contrib/subtac
- contrib/subtac/test
- contrib/xml
- debian/source
- dev
- dev/doc
- dev/ocamlweb-doc
- dev/tools
- dev/v8-syntax
- doc
- doc/RecTutorial
- doc/common
- doc/common/styles
- doc/common/styles/html
- doc/common/styles/html/coqremote
- doc/common/styles/html/simple
- doc/faq
- doc/refman
- doc/rt
- doc/stdlib
- doc/tools
- doc/tutorial
- ide
- ide/utils
- interp
- kernel
- kernel/byterun
- lib
- library
- man
- parsing
- pretyping
- proofs
- scripts
- states
- tactics
- test-suite
- test-suite/bench
- test-suite/bugs
- test-suite/bugs/closed
- test-suite/bugs/closed/shouldfail
- test-suite/bugs/closed/shouldsucceed
- test-suite/bugs/opened
- test-suite/bugs/opened/shouldnotfail
- test-suite/bugs/opened/shouldnotsucceed
- test-suite/complexity
- test-suite/failure
- test-suite/ide
- test-suite/ideal-features
- test-suite/ideal-features/complexity
- test-suite/interactive
- test-suite/kernel
- test-suite/micromega
- test-suite/modules
- test-suite/output
- test-suite/success
- test-suite/typeclasses
- theories
- theories/Arith
- theories/Bool
- theories/Classes
- theories/FSets
- theories/Init
- theories/Lists
- theories/Logic
- theories/NArith
- theories/Numbers
- theories/Numbers/Cyclic
- theories/Numbers/Cyclic/Abstract
- theories/Numbers/Cyclic/DoubleCyclic
- theories/Numbers/Cyclic/Int31
- theories/Numbers/Cyclic/ZModulo
- theories/Numbers/Integer
- theories/Numbers/Integer/Abstract
- theories/Numbers/Integer/BigZ
- theories/Numbers/Integer/Binary
- theories/Numbers/Integer/NatPairs
- theories/Numbers/Integer/SpecViaZ
- theories/Numbers/NatInt
- theories/Numbers/Natural
- theories/Numbers/Natural/Abstract
- theories/Numbers/Natural/BigN
- theories/Numbers/Natural/Binary
- theories/Numbers/Natural/Peano
- theories/Numbers/Natural/SpecViaZ
- theories/Numbers/Rational
- theories/Numbers/Rational/BigQ
- theories/Numbers/Rational/SpecViaQ
- theories/Program
- theories/QArith
- theories/Reals
- theories/Relations
- theories/Setoids
- theories/Sets
- theories/Sorting
- theories/Strings
- theories/Unicode
- theories/Wellfounded
- theories/ZArith
- tools/coqdoc
- toplevel
- files removed:
- LICENCE
- RecTutorial
- common
- debian/patches
- faq
- refman
- rt
- stdlib
- tutorial
- files modified:
- INSTALL
- README *
added
removed
tools/README.coq-tex
