Warning: this is an htmlized version!
The original is here, and
the conversion rules are here. 
2019-08-16  Eduardo Ochs  <eduardoochs@gmail.com>

	* dednat6/output.lua (write_single_tex_file): new function.
	(write_single_tex_file__pat): new variable.

2019-07-19  Eduardo Ochs  <eduardoochs@gmail.com>

	* 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  <eduardoochs@gmail.com>

	* dednat6/block.lua (tf_push, tf_pop): new functions.