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

coq-doc-html

documentation for Coq in html format

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 package contains its documentation and tutorials in html format.

Homepage:
Package version:8.2pl1-1
Architecture:all
Distribution:Debian
Filename:coq-doc-html_8.2pl1-1_all.deb

/usr/share/doc/coq-doc-html/FAQ.v.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<TITLE>Coq Version 8.2 for the Clueless 
 (176
 Hints)

</TITLE>

<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.10">
<STYLE type="text/css">
.li-itemize{margin:1ex 0ex;}
.li-enumerate{margin:1ex 0ex;}
more»

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

coq-doc (8.2pl1-1) unstable; urgency=low

  [ 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 fiel
more»

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

Changes from V8.2 to forthcoming V8.2pl1
========================================

Language and commands

- Fixing Not_found bug in Theorem with.
- Fixing pattern parsing bug #2087.
- Fixing name aliases bug #2085 with modules.
- Fixing checker bug #2065 with -impredicative-set option.
- Complying with 8.1 heuristic when unification returns several solutions.
- Add [Print Opaque Dependencies] comm
more»

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

Packaged-By: Fernando Sanchez <fer@debian.org>
Packaged-Date: Sun, 28 Nov 1999 19:42:06 +0100
Upstre
more»

Browse inside coq-doc-html_8.2pl1-1_all.deb

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

Download coq-doc-html_8.2pl1-1_all.deb

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