Questo è il comando minlog che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici postazioni di lavoro online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
minlog - avvia Emacs ed esegue Minlog al suo interno.
SINOSSI
minlog file
DESCRIZIONE
Questa pagina di manuale documenta il minlog programma. Questa pagina di manuale è stata scritta per il
Distribuzione Debian GNU/Linux perché il programma originale non ha una pagina di manuale.
Le minlog il comando avvia Emacs (per impostazione predefinita, imposta $EMACS per passare alla versione di Emacs di
scelta), carica la modalità minlog e apre i buffer Minlog standard.
VERSIONI
file Uno o più file di schema per il dimostratore del teorema di Minlog. Di solito questi file finiscono
con .scm
Usa minlog online utilizzando i servizi onworks.net
