Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

coq-doc

documentation for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This is a dummy package which will install the documentation in html and pdf formats.

Homepage:
Package version:8.3pl4-1
Architecture:all
Distribution:Debian
Filename:coq-doc_8.3pl4-1_all.deb

/usr/share/doc/coq-doc/changelog.Debian.gz

coq-doc (8.3pl4-1) unstable; urgency=low

  * New upstream release

 -- St├ęphane Glondu <glondu@debian.org>  Fri, 06 Apr 2012 07:33:19 +0200

coq-doc (8.3pl3-1) unstable; urgency=low

  * New upstream release

 -- St├ęphane Glondu <glondu@debian.org>  Tue, 03 Jan 2012 23:42:48 +0100

coq-doc (8.3pl2-1) unstable; urgency=low

  * New upstream release
  * Make dependencies of coq-doc versioned
  * 
more»

/usr/share/doc/coq-doc/changelog.gz

Changes from V8.3pl3 to V8.3pl4
===============================

Bug fixes:

- #2724 (using notations with binders in cases patterns was provoking an anomaly)
- #2723 (alpha-conversion bug #2723 introduced in r12485-12486)
- #2732 (anomaly when using the tolerance for writing "f atomic_tac"
    as a short-hand for "f ltac:(atomic_tac)")
- #2729 (vm_compute: function used to decompose constructors 
more»

/usr/share/doc/coq-doc/copyright

Packaged-By: Fernando Sanchez <fer@debian.org>
Packaged-Date: Sun, 28 Nov 1999 19:42:06 +0100
Upstream-Author: The Coq Development Team
Original-Source-Location: http://coq.inria.fr/


  Note: The Coq proof assistant itself is DFSG-free and packaged in
  Debian (main). However, its documentation is under OPL, a license
  which is not considered DFSG-free. See:

    http://lists.debian.org/debian-l
more»

Browse inside coq-doc_8.3pl4-1_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (1)  65535+ mirrors

Download coq-doc_8.3pl4-1_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com