← Back to branch summary

~ubuntu-branches/ubuntu/hardy/coq-doc/hardy

Viewing all changes in revision 2.

  • Committer: Bazaar Package Importer
  • Author(s): Judicaël Courant
  • Date: 2002-04-18 15:08:00 UTC
  • Revision ID: james.westby@ubuntu.com-20020418150800-h7tmjzwjli3y5vub
Tags: 7.2-1
* New upstream version.
* New maintainer.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: