3 Commits (038d7d3e2b7c87f7687aa942712591eea8bdebb3)

Author	SHA1	Message	Date
Ondřej Hruška	a89439f180	replacing wrong dashes, cleveref etc	7 years ago
Ondřej Hruška	84ffd33b19	glossed some stuff	7 years ago
Ondřej Hruška	b2d9498850	redone all command tables	7 years ago