Proof General Teacher View

The Teacher View is a web browser for viewing tutorials that link to Proof General. These can activate certain functions within Proof General (either by linking to a .thy file or by Javascript).

It is activated via the Proof General menu.

For an example, open this web page in PG Eclipse, then try clicking here: This should open a sample .thy file, which can then be edited or run.

We have written an Isabelle tutorial for use with this view.

If you are interested in using the Teacher View, please see the ed.inf.proofgeneral.welcome project for an example.

This topic: PG > WebHome > ProofGeneralKit > ProofGeneralEclipse > PGEclipseUserDocumentation > TeacherView
Topic revision: r1 - 23 Aug 2006 - 23:51:42 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies