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.
Larry On 30 Nov 2012, at 15:27, Makarius <[email protected]> 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). > > > Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
