EnglishFrenchSpanish

OnWorks favicon

proofgeneral - Online in the Cloud

Run proofgeneral in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

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


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

Ad