Re: [isabelle] Dockable panels
Am 19.01.16 um 13:46 schrieb Makarius:
Now we are back to the more fundamental question if anybody reads
documentation at all. There should probably be also a video presentation.
the documentation is really well done and I relay appreciate the amount
of work you put into it!
However the honest answer is probably that only a very small percentage
will "look into" the documentation and an even smaller percentage of
those people will actually "read it"t. This doesn't mean that the
documentation is bad or unnecessary, but we've all been educated to
expect software (especially GUIs) to work intuitively and be able to get
it to do what we want by try and error and only refer to the
documentation if we really care and can't get it done otherwise, which,
for most other software, leads to disappointment, because, if the
developer didn't put effort into making things intuitive, he often also
didn't put effort into documenting them.
I personally dislike video presentations, because it's hard to figure
out whether they cover what you're interested in, without actually
watching them and then they're often either too slow or too fast.
This archive was generated by a fusion of
Pipermail (Mailman edition) and