aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-10-14tidy upRobert Alessi
2018-10-13embedded lua file into ekdosis.dtxRobert Alessi
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