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: http://www.inf.ed.ac.uk/teaching/courses/ar/slides/sample.thy 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.