Este é o complexo de comandos que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
ladr4-apps - aplicativos LADR4 não documentados
DESCRIÇÃO
Alguns programas no aplicativos ladr4 pacote atualmente não tem páginas de manual. Você pode obter
documentação sobre alguns desses aplicativos por meio do provador9 manual, que está disponível em
Sistemas Debian através do pacote provador9-doc, em
/usr/share/doc/prover9-doc/manual/index.html. Alternativamente, invocar o aplicativo com
da -Socorro opção pode produzir documentação. Patches para adicionar páginas de manual são bem-vindos, e
pode ser enviado ao mantenedor do pacote Debian, cujos detalhes estão listados abaixo.
Use online complexos usando serviços onworks.net
