InglesPransesEspanyol

Patakbuhin ang mga server | Ubuntu > | Fedora > |


OnWorks favicon

minlog - Online sa Cloud

Patakbuhin ang minlog sa OnWorks na libreng hosting provider sa Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

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


Ad


Ad