Il s'agit du looper de commandes qui peut être exécuté dans le fournisseur d'hébergement gratuit OnWorks à l'aide de 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
ladr4-apps - applications LADR4 non documentées
DESCRIPTION
Certains programmes de la ladr4-applications package n'a actuellement aucune page de manuel. Vous pouvez obtenir
documentation sur certaines de ces applications via le prouve9 manuel, disponible sur
Systèmes Debian via le paquet prouveur9-doc, à
/usr/share/doc/prover9-doc/manual/index.html. Vous pouvez également appeler l'application avec
le -Aide option peut produire de la documentation. Les correctifs pour ajouter des pages de manuel sont les bienvenus, et
peut être envoyé au responsable du paquet Debian, dont les détails sont listés ci-dessous.
Utiliser looper en ligne en utilisant les services onworks.net
