From rzach at ucalgary.ca  Fri Oct  9 12:10:14 2015
From: rzach at ucalgary.ca (Richard Zach)
Date: Fri Oct  9 12:10:26 2015
Subject: [OpenLogic] Move content to content/
Message-ID: <56180306.3010305@ucalgary.ca>

I'm wondering if our main directory is becoming too cluttered, and if it 
wouldn't be better to put all the content into a content/ subdirectory.  
Objections?  If you are making your own remixed PDF it might require 
changing some \olimport commands.

Please comment at
https://github.com/OpenLogicProject/OpenLogic/issues/58

-R
From rzach at ucalgary.ca  Sun Oct 25 19:47:57 2015
From: rzach at ucalgary.ca (Richard Zach)
Date: Sun Oct 25 19:49:13 2015
Subject: [OpenLogic] Repository Reorganization
Message-ID: <562D864D.1010907@ucalgary.ca>

Hi

As per issue #48 
<https://github.com/OpenLogicProject/OpenLogic/issues/58>, in order to 
keep the clutter in the main directory of the repository to a minimum, 
I?ve moved all the content directories containing texts to a 
subdirectory |content/|. If you have a driver file that includes 
individual texts (part, chapter, or section) using |\olimport|, you will 
have to add ?|content/|? to the optional directory argument.  If you use 
the starred version |\olimport*|, you shouldn?t have to do anything, as 
|\olimport*| now interprets paths relative to |\olpath/content/|. In 
other words, if your file contained the line

|\olimport*[first-order-logic]{completeness}|

you don?t have to do anything, but if you had, say,

|\olimport[/home/zach/openlogic/first-order-logic]{completeness}|

you?ll have to change that to

|\olimport[/home/zach/openlogic/content/first-order-logic]{completeness}|

If you have added your own files to the content directories or have 
started a new part (really? amazing! let us know!) then the first line 
of those new files will have to be changed by adding an extra ?|../|? to 
the optional argument of the |\documentclass| command, e.g.,

|\documentclass[../../../include/open-logic-section]{subfiles}|


If you're working in a fork of the repository, please sync your fork.
https://help.github.com/articles/syncing-a-fork/

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/openlogic-l/attachments/20151025/f0926741/attachment.html
From rzach at ucalgary.ca  Tue Oct 27 17:00:01 2015
From: rzach at ucalgary.ca (Richard Zach)
Date: Tue Oct 27 17:00:11 2015
Subject: [OpenLogic] Graphic design
Message-ID: <563001F1.50000@ucalgary.ca>

I'm in talks with a graphic designer to produce illustrations for the 
open logic text, including a reusable book cover and stylized portraits 
of logicians to, e.g., be used at the beginning of chapters.  Our budget 
constrains the number of these, so we'll have to have a wishlist. Let me 
know who your favorite logicians to get the treatment are, keeping in 
mind planned or possible future material.  In a couple of weeks I should 
have a sample.  I think the following are a must:

Barcan
Cantor
Church
G?del
Hilbert
Kripke
Noether
P?ter
Skolem
Tarski
Turing
Zermelo

My additional votes: Carnap, D. Lewis, Heyting, Gentzen

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