[OpenLogic] Tags for Selective Compiling

[Richard Zach]

Hi,

I committed a bunch of changes, the most important of which is the 
facility to selectively include exclude text based on tags.  The texts 
in the syntax & semantics chapter now will fairly intelligently adapt to 
which operators you want treated as primitive and which ones as defined. 
  Find an example in the new examples/ directory.

Pretty much all of the necessary infrastructure is now in place, I 
think.  If you have some time, please provide feedback on the text 
itself, on Trello, here, or in an issue on Github.  Dana is working on 
incorporating Nicole's revisions/corrections, but there are a fair 
number of things that need discussion or reorganization.

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