From rzach at ucalgary.ca  Fri Jun 13 10:29:46 2014
From: rzach at ucalgary.ca (Richard Zach)
Date: Fri Jun 13 10:30:11 2014
Subject: [OpenLogic] Tags for Selective Compiling
Message-ID: <539B26FA.8000703@ucalgary.ca>

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