headers - tacticians-design - Design document(s) for Tacticians Online.

Mode	Name	Size
-rw-r--r--	math.tex	111	log plain
-rw-r--r--	messages.tex	704	log plain
-rw-r--r--	tikz.tex	311	log plain