
            INSTALLATION PROCEDURES FOR THE COQ V6.2 SYSTEM
            -----------------------------------------------

INSTALLATION PROCEDURE (NORMAL USERS).
======================================

The binary distribution consists in a .zip archive file. This .zip
contains long filenames and cannot therefore be unpacked with pkunzip
version 2. Use either Winzip (shareware) or the NT/95 version of unzip
(freeware):
        ftp://ftp.winsite.com/pub/pc/winnt/misc/wznt56.exe
        ftp://ftp.uu.net/pub/archiving/zip/WIN32/unz531xN.exe

Unzipping the distribution creates (among others) the following
directories and files:

        coq\bin\               The command-line tools
        coq\lib\               The standard library files

In the following we suppose that you have unpacked in
D:\prover. Please adapt to your installation when modifying AUTOEXEC.BAT.

You must add the coq\bin subdirectory to the PATH variable, e.g.

          set PATH=%PATH%;D:\prover\coq\bin

  Running directly the tools (e.g. typing D:\prover\coq\bin\coqtop)
  will not work if the coq\bin directory is not in PATH, because coq
  and the other tools will be unable to find the coq image coq.out.

  The command-line tools need to know where the library and the
  binaries are. Define the COQLIB and COQBIN
  environment variables to point to the standard library directory and
  binary directory, e.g.

          set COQLIB=D:\prover\coq\lib 
	  set COQBIN=D:\prover\coq\bin           


