This is the command minlog that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
minlog - starts Emacs and runs Minlog in it.
SYNOPSIS
minlog files
DESCRIPTION
This manual page documents the minlog program. This manual page was written for the
Debian GNU/Linux distribution because the original program does not have a manual page.
The minlog command starts Emacs (by default, set $EMACS to switch to your Emacs version of
choice), loads the minlog-mode and open standard Minlog buffers.
OPTIONS
files One or more scheme files for the Minlog theorem prover. Usually these files end
with .scm
Use minlog online using onworks.net services
