TeX/TODO.md

Things that require help from the font manager:
*  Parametrize character-level and word-level spacing
*  Reduce horizontal spacing by using a proportional font
*  Have a decent variable-height font system in gint (argh)

More elements, I guess...
square root and jumbo matrix example 2019-06-19 00:51:19 +02:00			`Things that require help from the font manager:`
			`* Parametrize character-level and word-level spacing`
core: add vectors and limits Also fix a bug in the computation of group sizes, due to subscripts and superscripts being counted before their final layout was decided. 2019-05-31 19:53:34 +02:00			`* Reduce horizontal spacing by using a proportional font`
add environment nodes and matrices 2019-06-18 03:27:04 +02:00			`* Have a decent variable-height font system in gint (argh)`
update documentation after writing the wiki 2019-06-22 01:07:17 +02:00
			`More elements, I guess...`