Ini ialah arahan minlog yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
minlog - memulakan Emacs dan menjalankan Minlog di dalamnya.
SINOPSIS
minlog fail
DESCRIPTION
Halaman manual ini mendokumenkan minlog program. Halaman manual ini ditulis untuk
Pengedaran GNU/Linux Debian kerana program asal tidak mempunyai halaman manual.
. minlog arahan memulakan Emacs (secara lalai, tetapkan $EMACS untuk bertukar kepada versi Emacs anda
pilihan), memuatkan mod minlog dan buka penimbal Minlog standard.
PILIHAN
fail Satu atau lebih fail skema untuk prover teorem Minlog. Biasanya fail ini tamat
bersama .scm
Gunakan minlog dalam talian menggunakan perkhidmatan onworks.net