[isabelle-dev] Towards the next release
lp15 at cam.ac.uk
Fri Nov 30 17:52:19 CET 2012
I don't think you need to do this personally. Doubtless some student enjoys tinkering with video formats and could make a five-minute video that simply answers the question, how do I get started? What are the main interaction modes? And maybe touches on some of the more advanced features.
On 30 Nov 2012, at 15:27, Makarius <makarius at sketis.net> wrote:
> On Fri, 30 Nov 2012, Lawrence Paulson wrote:
>> I imagine that some sort of short tutorial video or slideshow (analogous to the one I made a number of years ago) might be better than any amount of written documentation.
> I've recently started experimenting with video recording, which works quite well e.g. on Ubuntu 12.04 with one of the many open-source applications for that.
> After spending some hours on it, I tried to present the results on a web page and failed miserably. Web "standards" don't really exist. One might interpret the "5" in HTML5 as "5 years from now" or "need 5 different formats for your video". Most people seem to delegate the problem to Youtube.
> I am only a beginner in the film production business. So maybe some experts on it can say more.
> Once the technical side-conditions are worked out, one needs to have a good "script" to explain how to produce nice proof documents (not scripts).
More information about the isabelle-dev