Il s'agit de la commande idfilter 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
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.
Utilisez idfilter en ligne à l'aide des services onworks.net
