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

age author description
2012-03-03 Jim Hague Change subtitle and intro files to .txt extension. base Session/subtitle.tex@47face572a24