Quick Start Instructions


1. Check for TeX and Python 

Make sure that you can run both TeX and Python from the directory
into which you have downloaded the files. 

2.  Test the Download 
The following files should be present:
	audit.py
	check.py
	fmparse.py
	parse.py
	pattern.py
	prep.py
	renote.py
	renum.py
	totalparse.py
	txfmt.py
	unify.py
	geom.tex
	rules.tex
	common.tex
	template.tex
	common.dfs
	geom.dfs
	geom.tdf
	logic.tdf
	sets.tdf
	spaces.tdf
	template.tdf
	template.dfs
	utility.tdf
	logicPaper.pdf

3. Test the Main Programs
The following commands should all run without error:

	a) tex geom

	b) python parse.py geom

	c) python check.py geom 2.1

4. Write and Check Some Proofs
	Edit the File template.tex
	Use the edit-TeX-Parse-Check cycle:

		Edit tex file
		tex template
		python parse.py template
		python check.py template

	Make sure you can scroll through the complete ouput of check.py
	since it identifies all lines which check and those which do not.
	 
5. Python Script Summary:
		
	audit.py <filename> <theorem number>
		checks for all upstream and down stream dependencies of the specified theorem
	check.py <filename> <theorem number>
		checks the proof of the specified theorem
	parse.py <filename>
		checks that all mathematics in the file parses
	prep.py <filename>
		prepares the file for TeXing by locating undefined TeX macros and
		adding them to the .tdf file.  Also build a .dfs file if none exists	
	renote.py <filename>
		renotes the note numbering of all proofs
	renum.py <filename>
		Renumbers all the theorems, (and chapters if necessary).
	totalparse.py <filename>
		checks the proof syntax of all proofs.  Create a file 'prooflist' of the
		numbers all the theorems which have proofs.
	txfmt.py <filename>
		creates an (unparseable) TeX file with spacing added following bound variable 
		scope indicators.  
		The file created for template.tex would be templateff.tex 
		 
