Dies ist der Befehl minlog, 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
minlog – startet Emacs und führt darin Minlog aus.
ZUSAMMENFASSUNG
Minlog Dateien
BESCHREIBUNG
Diese Handbuchseite dokumentiert die Minlog Programm. Diese Handbuchseite wurde für geschrieben
Debian GNU/Linux-Distribution, weil das Originalprogramm keine Handbuchseite hat.
Die Minlog Der Befehl startet Emacs (standardmäßig legen Sie $EMACS fest, um zu Ihrer Emacs-Version von zu wechseln
Wahl), lädt den Minlog-Modus und öffnet Standard-Minlog-Puffer.
OPTIONAL
Dateien Eine oder mehrere Schemadateien für den Minlog-Theorembeweiser. Normalerweise enden diese Dateien
mit .scm
Verwenden Sie Minlog online über die Dienste von onworks.net
