AnglaisFrançaisEspagnol

Exécutez les serveurs | Ubuntu > | Fedora > |


Icône de favori OnWorks

minlog - En ligne dans le Cloud

Exécutez minlog dans le fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

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:

PRÉNOM


minlog - démarre Emacs et y exécute Minlog.

SYNOPSIS


minlog fichiers

DESCRIPTION


Cette page de manuel documente les minlog 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 minlog 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


Ad


Ad