#
# ProofCheck README file
#

This package assumes that some version of TeX, e.g. Texlive, is
installed on your system.  TeX can be downloaded from:

	www.tug.org 

Some version of Python 3 is required.  
Python can be downloaded from:

	www.python.org

If Python 2 is also installed on the system, the python commands
below should be executed as 'python3', or whatever is necessary to 
execute Python 3.

POSIX (Linux, Unix, OSX) Installation:

	To install the package either become superuser and from the directory
	in which this README file is located run:

		python install.py

	or

		python setup.py install

	or use sudo to execute as superuser:

		sudo python setup.py install

	This will attempt to locate your TeX directory, e.g. /usr/share/texmf,
	and under that it will install tex/proofcheck/lib and 
	tex/proofcheck/include directories.

	If the install script cannot find the TeX directory but
	you know where it is, say /opt/texmf
	try running: 

		python setup.py install --install-data /opt/texmf

	or:

		sudo python setup.py install --install-data /opt/texmf

	To test the install run:

		python test.py

	without being superuser.  All proofs should check, all 
	1 + 9 of them.

WINDOWS installation:

	Double click on the install.py file.
		
	Copy the ".tex" files from the build location to your working 
	directory.
