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

coq_8.2.pl2+dfsg.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:coq_8.2.pl2+dfsg.orig.tar.gz

/coq-8.2pl2/README

            		THE COQ V8.2 SYSTEM
            		===================

INSTALLATION.
=============

   See the file INSTALL for installation procedure.


DOCUMENTATION.
==============

   The documentation of Coq V8.2 is available online from the Coq web
   site (see http://coq.inria.fr)


CHANGES.
========

   There is a file named CHANGES that explains the differences and the
   incompatibilities
more»

/coq-8.2pl2/README.doc

                           The Coq documentation
                           =====================

The Coq documentation includes:

- a reference manual;
- a generic tutorial on Coq;
- a tutorial on recursive types;
- a document presenting the Coq standard library;
- a list of questions/answers in the FAQ style

All these documents are available online from the Coq official site
(http://coq.inria.
more»

/coq-8.2pl2/README.win

THE COQ V8.2 SYSTEM
===================

    This file contains remarks specific to the Windows port of Coq.

INSTALLATION.
=============

    The Coq package for Windows comes with an auto-installer. It will
install Coq binaries and libraries under any directory you specify
(C:\Program Files\Coq is the default path). It also creates shortcuts
in the Windows menus. Alternatively, you can launch Co
more»

/coq-8.2pl2/contrib/cc/README

cctac: congruence-closure for coq

author: Pierre Corbineau, 
	Stage de DEA au LSV, ENS Cachan
	Th�
more»

/coq-8.2pl2/contrib/extraction/README

Status of Extraction in Coq version 7.x
======================================

(* 22 jan 2003 : Up
more»

/coq-8.2pl2/contrib/romega/README

This work was done for the RNRT Project Calife. 
As such it is distributed under the LGPL licence.


more»

/coq-8.2pl2/contrib/xml/README

(******************************************************************************)
(* Copyright (C) 20
more»

/coq-8.2pl2/dev/README

This directory contains informations and tools to help developing the
                             C
more»

Browse inside coq_8.2.pl2+dfsg.orig.tar.gz

         [DIR]coq-8.2pl2/ (46)

Download coq_8.2.pl2+dfsg.orig.tar.gz

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