Ini ialah miniskop arahan yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
ladr4-apps - aplikasi LADR4 tanpa dokumen
DESCRIPTION
Beberapa program dalam ladr4-apps pakej pada masa ini tidak mempunyai halaman manual. Anda boleh mendapatkan
dokumentasi mengenai beberapa aplikasi ini melalui pepatah9 manual, yang tersedia pada
Sistem Debian melalui pakej prover9-doc, pada
/usr/share/doc/prover9-doc/manual/index.html. Secara alternatif menggunakan aplikasi dengan
yang -membantu pilihan boleh menghasilkan dokumentasi. Tampalan untuk menambah halaman manual adalah dialu-alukan, dan
boleh dihantar kepada penyelenggara pakej Debian, yang butirannya disenaraikan di bawah.
Gunakan miniscope dalam talian menggunakan perkhidmatan onworks.net