xidoc

xidoc copied to clipboard

Command for lemmata

4

There are commands for easily displaying theorems, proofs, and definitions. However, when writing lecture notes I find myself often writing some simple lemmata. I feel like it would be natural...

Yokto13

Table of Contents in "commands.xd"

2

Hi Adam (@xigoi), The [Commands](http://xidoc.nim.town/commands.html) reference document is quite long. Might it be possible to include a Table of Contents (based on the "h2" headings), like the following: * Introduction...

celtic-coder