~ubuntu-branches/ubuntu/trusty/coq/trusty

Viewing all changes in revision 13.

  • Committer: Bazaar Package Importer
  • Author(s): Cesare Tirabassi
  • Date: 2008-05-27 13:04:23 UTC
  • Revision ID: james.westby@ubuntu.com-20080527130423-g13p6g5k4l923nps
Tags: 8.1.pl3+dfsg-1build1
No change rebuild against Ocaml 3.10.2

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: