Dies ist der allgemeine Befehlsnachweis, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
Proofgeneral – Starten Sie Emacs mit dem Begrüßungsbildschirm von Proof General
ZUSAMMENFASSUNG
Beweisallgemein Dateien...
BESCHREIBUNG
Der Befehl Beweisallgemein ist nur eine Abkürzung für emacs23 -f Proof-Splash-Display-
Bildschirm. Somit startet es Emacs, zeigt den Begrüßungsbildschirm von Proof General an und verhält sich
ansonsten identisch mit Emacs.
Nutzen Sie Beweisallgemein Datei.v um Proof General im Coq-Modus zu starten Datei.v.
Nutzen Sie Proofgeneral online über die Dienste von onworks.net
