Questo è il comando perm3 che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre numerose workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online di Windows o emulatore online di MAC OS
PROGRAMMA:
NOME
ladr4-apps - applicazioni LADR4 non documentate
DESCRIZIONE
Alcuni programmi in app ladr4 pacchetto attualmente non ha pagine di manuale. Puoi ottenere
documentazione su alcune di queste applicazioni tramite il prover9 manuale, disponibile su
Sistemi Debian tramite il pacchetto prover9-doc, a
/usr/share/doc/prover9-doc/manual/index.html. In alternativa invocando l'applicazione con
, il -Aiuto opzione può produrre documentazione. Le patch per aggiungere pagine di manuale sono benvenute e
può essere inviato al manutentore del pacchetto Debian, i cui dettagli sono elencati di seguito.
Utilizzare perm3 online utilizzando i servizi onworks.net
