Ito ang command minlog na maaaring patakbuhin sa OnWorks free hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
minlog - sinisimulan ang Emacs at pinapatakbo ang Minlog dito.
SINOPSIS
minlog file
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng minlog programa. Ang manwal na pahinang ito ay isinulat para sa
Debian GNU/Linux distribution dahil walang manual page ang orihinal na program.
Ang minlog utos ay nagsisimula sa Emacs (bilang default, itakda ang $EMACS upang lumipat sa iyong Emacs na bersyon ng
choice), nilo-load ang minlog-mode at buksan ang karaniwang Minlog buffer.
Opsyon
file Isa o higit pang scheme file para sa Minlog theorem prover. Karaniwan ang mga file na ito ay nagtatapos
sa .scm
Gumamit ng minlog online gamit ang mga serbisyo ng onworks.net