aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-10-13print line numbers in bold face in the apparatusRobert Alessi
2017-01-04use keyfloatRobert Alessi
2016-10-19starting optimizing the code before going furtherRobert Alessi
2016-08-26tidy up a bit the codeRobert Alessi
2016-08-17compute linelabels and linerefs with md5sumRobert Alessi
2016-08-15initial project versionRobert Alessi