EnglishFrenchSpanyol

Jalankan pelayan | Ubuntu > | Fedora > |


Favicon OnWorks

minlog - Dalam talian di Awan

Jalankan minlog dalam penyedia pengehosan percuma OnWorks melalui Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS

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
dengan .scm

Gunakan minlog dalam talian menggunakan perkhidmatan onworks.net


Ad


Ad