Il s'agit de la commande minlog qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
minlog - démarre Emacs et y exécute Minlog.
SYNOPSIS
journal intime fichiers
DESCRIPTION
Cette page de manuel documente les journal intime programme. Cette page de manuel a été écrite pour le
Distribution Debian GNU/Linux car le programme original n'a pas de page de manuel.
Le manuel de formation journal intime La commande démarre Emacs (par défaut, définissez $EMACS pour basculer vers votre version Emacs de
choix), charge le mode minlog et ouvre les tampons Minlog standard.
OPTIONS
fichiers Un ou plusieurs fichiers de schéma pour le prouveur de théorème Minlog. Habituellement, ces fichiers se terminent
avec .scm
Utiliser minlog en ligne en utilisant les services onworks.net
