Este é o minlog de comando que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
minlog - inicia o Emacs e executa o Minlog nele.
SINOPSE
minlog arquivos
DESCRIÇÃO
Esta página do manual documenta o minlog programa. Esta página do manual foi escrita para o
Distribuição Debian GNU / Linux porque o programa original não possui uma página de manual.
A minlog comando inicia o Emacs (por padrão, defina $ EMACS para mudar para a sua versão do Emacs
escolha), carrega o modo minlog e abre os buffers padrão do Minlog.
OPÇÕES
arquivos Um ou mais arquivos de esquema para o provador de teorema Minlog. Normalmente, esses arquivos terminam
com .scm
Use minlog online usando serviços onworks.net
