From rzach at ucalgary.ca  Thu Mar 27 12:02:20 2014
From: rzach at ucalgary.ca (Richard Zach)
Date: Thu Mar 27 12:02:32 2014
Subject: [OpenLogic] Compiling out of box
Message-ID: <533467AC.1020205@ucalgary.ca>

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