StephaneSeyvoz/mindoc — pull request #2 by StephaneSeyvoz (2013-12-11 17:22:29+00:00)
Title: Always generate SVG figures for Definitions.

Moved the algorithm from annotation to systematic section