log Session/subtitle.txt @ 1096:fb37aa6c0e42 default tip

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