aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)Author
2018-12-18added 'local' option to MakefileRobert Alessi
2018-10-30removed parnotes autopnRobert Alessi
2018-10-13embedded lua file into ekdosis.dtxRobert Alessi
2018-10-13print line numbers in bold face in the apparatusRobert Alessi
2016-10-19starting optimizing the code before going furtherRobert Alessi
2016-08-15initial project versionRobert Alessi