Este es el minlog de comandos que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
minlog: inicia Emacs y ejecuta Minlog en él.
SINOPSIS
minlog archivos
DESCRIPCIÓN
Esta página de manual documenta la minlog programa. Esta página de manual fue escrita para
Distribución Debian GNU / Linux porque el programa original no tiene una página de manual.
La sección minlog comando inicia Emacs (por defecto, configure $ EMACS para cambiar a su versión de Emacs de
opción), carga el modo minlog y abre los búferes Minlog estándar.
OPCIONES
archivos Uno o más archivos de esquema para el demostrador de teoremas de Minlog. Por lo general, estos archivos terminan
con .scm
Use minlog en línea usando los servicios de onworks.net
