To jest polecenie minlog, które można uruchomić w darmowym dostawcy hostingu OnWorks przy użyciu jednej z wielu naszych bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online MAC OS
PROGRAM:
IMIĘ
minlog - uruchamia Emacsa i uruchamia w nim Minloga.
STRESZCZENIE
minlog pliki
OPIS
Ta strona podręcznika dokumentuje minlog program. Ta strona podręcznika została napisana dla
Dystrybucja Debian GNU/Linux, ponieważ oryginalny program nie posiada strony podręcznika.
Kurs minlog polecenie uruchamia Emacsa (domyślnie ustaw $EMACS, aby przełączyć się na twoją wersję Emacsa
wybór), ładuje tryb minlog i otwiera standardowe bufory Minlog.
OPCJE
pliki Jeden lub więcej plików schematu dla programu dowodzenia twierdzeń Minloga. Zwykle te pliki się kończą
w .scm
Korzystaj z minlog online, korzystając z usług onworks.net
