aboutsummaryrefslogtreecommitdiff
path: root/doc/doc_extract.py
AgeCommit message (Expand)Author
2022-02-11Check if file to read is really a fileHEADmasterdec05eba
2020-07-25Use python2 for doc extractdec05eba
2020-07-25Improve doc extradec05eba
2020-07-25Move program code generation and execution out of program (make it generic)dec05eba
2020-07-25Start on amal programdec05eba
2020-07-25Start on real bytecode & doc parsingdec05eba