Re: [isabelle] Isabelle's jEdit plugin: some known help documents?

On 7/31/2012 3:17 PM, Makarius wrote:

With Isabelle/jEdit one could imagine nice videos that demonstrate the dynamics of certain popups and other plugins, for example. I am myself still working on the upgrade of the platform to Java 1.7 and JavaFX 2.2, so that one might see more onboard multimedia gimmicks in the future, with HTML5 etc.

Fame and glory on Youtube is there for the taking because there's nothing out there to show people what an Isabelle session in jEdit can look like.

I guarantee you, at this point, all you're lacking is marketing. If Isabelle was a commercial operation, you would already have a flashy promotional video out there.

For now, people don't need any instructional videos, they just need an overview of what a proof assistant is, an overview of the associated tools for Isabelle, some proof examples to show the interaction between the edit buffer and the output pane, to see what they can make their installation look like, and see what tools and plugins they're supposed to look for when after they've installed Isabelle. It'd be like a 3 to 5 minute video.

All the extra menu features that get added in the future, like automating the use of "usedir" and IsaMakefiles, aren't going to change the basic three panel view that's the main work space, at least not because it's no good right now. That part of the interface and how Isar is implemented in it is already professional quality. And it's not going to change the different proof methods, like using intro and elim rules, or automatic proof methods, or resorting to ATPs with Sledgehammer. People could be shown a demo of those things in the same video.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.