Este es el comando idfilter que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
ladr4-apps - aplicaciones LADR4 no documentadas
DESCRIPCIÓN
Algunos programas en el ladr4-aplicaciones El paquete actualmente no tiene páginas de manual. Puedes obtener
documentación sobre algunas de estas aplicaciones a través del prover9 manual, que está disponible en
Sistemas Debian a través del paquete prover9-doc, a
/usr/share/doc/prover9-doc/manual/index.html. Alternativamente, invocando la aplicación con
las -ayuda La opción puede producir documentación. Los parches para agregar páginas de manual son bienvenidos, y
puede enviarse al mantenedor del paquete Debian, cuyos detalles se enumeran a continuación.
Utilice idfilter en línea utilizando los servicios de onworks.net
