Ini adalah perintah minlog yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
minlog - memulai Emacs dan menjalankan Minlog di dalamnya.
RINGKASAN
minlog arsip
DESKRIPSI
Halaman manual ini mendokumentasikan minlog program. Halaman manual ini ditulis untuk
Distribusi Debian GNU/Linux karena program aslinya tidak memiliki halaman manual.
minlog perintah memulai Emacs (secara default, setel $EMACS untuk beralih ke versi Emacs Anda)
pilihan), memuat minlog-mode dan membuka buffer Minlog standar.
PILIHAN
arsip Satu atau lebih file skema untuk pembuktian teorema Minlog. Biasanya file-file ini berakhir
dengan .scm
Gunakan minlog online menggunakan layanan onworks.net
