summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterAdd: new build of PDFLars Wirzenius5 years
 
 
AgeCommit messageAuthorFilesLines
2019-05-19Add: new build of PDFHEADmasterLars Wirzenius1-0/+0
2019-05-19Change: tweak wording for "remember" steps to be more naturalLars Wirzenius1-3/+3
2019-05-17Add: mention of prelude.py to READMELars Wirzenius1-0/+3
2019-05-17Change: more explanation to READMELars Wirzenius1-0/+18
2019-05-17Add: READMELars Wirzenius1-0/+14
2019-05-17Add: example proof-of-concept code generationLars Wirzenius5-0/+60
2019-05-10Add: formatted versionLars Wirzenius1-0/+0
2019-05-10Add: note that GIVEN cleanups are always done, and in reverse orderLars Wirzenius2-0/+3
2019-05-10Add: note that the Saga compiler doesn't manage resourcesLars Wirzenius1-0/+4
2019-05-10Change: first all ASSUMINGs, then all USINGs, then the restLars Wirzenius2-0/+5
[...]
 
Clone
git://git.liw.fi/saga-poc