Re: Images in the official documentation

2018-07-20 Thread Pavel Golub
Hello, Jürgen. You wrote: JP> On 19.07.2018 14:06, Pavel Golub wrote: >> I disagree. From what I heard, GraphViz is the winner for now. I can >> give you my two cents: plantuml is another good choice JP> Ok, please give us an example - possibly the two previous graphics.

Re: Images in the official documentation

2018-07-19 Thread Pavel Golub
Hello, Jürgen. You wrote: JP> Our discussion about grafics in the documentation reached to the JP> conclusion that we shall use SVG, the importance to 'diff-ability' JP> is rated differently, and there is no consensus about tools. I disagree. From what I heard, GraphViz is the winner for now. I