This is the command proofgeneral that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
proofgeneral - start Emacs with the Proof General splash screen
SYNOPSIS
proofgeneral files...
DESCRIPTION
The command proofgeneral is just an abbreviation for emacs23 -f proof-splash-display-
screen. Thus it starts emacs, displays the Proof General splash screen and behaves
otherwise identical to emacs.
Use proofgeneral file.v to start Proof General in Coq mode for file.v.
Use proofgeneral online using onworks.net services