[OpenLogic] Compiling out of box

[Richard Zach]

Hi all,

The way Open Logic draws various files from various (sub(sub)) 
directories has caused some problems, one of which is that you have to 
configure your LaTeX setup to find all the files as described here:

https://github.com/OpenLogicProject/OpenLogic/wiki/Compiling-OLT

I hear this is not as easy to do on Windows, so Windows users will have 
a hard time.

I've now (I think) solved this problem. Can some of you please test 
whether downloading the fixed version

https://github.com/rzach/OpenLogic

compiles out of the box for you even when you don't put the Open Logic 
directory into the TEXINPUTS path or the local texmf tree?

Thanks!

-- 
Richard Zach ..... http://www.ucalgary.ca/~rzach/
Professor,             Department  of  Philosophy
University of Calgary, Calgary AB T2N 1N4, Canada