|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
2019-08-16 Eduardo Ochs <[email protected]> * dednat6/output.lua (write_single_tex_file): new function. (write_single_tex_file__pat): new variable. 2019-07-19 Eduardo Ochs <[email protected]> * extra-comparisons.tex: copied the two big diagrams from the diagxy manual from 2018dednat6-extras.tex to here and added two small diagrams. 2019-07-06 Eduardo Ochs <[email protected]> * dednat6/block.lua (tf_push, tf_pop): new functions.