log Session/subtitle.txt @ 534:d1e84d9c5806 build-default-225

age author description
Sat, 03 Mar 2012 15:24:59 +0000 Jim Hague Change subtitle and intro files to .txt extension. base Session/subtitle.tex@47face572a24