นี่คือตัวระบุคำสั่งที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
ladr4-apps - แอปพลิเคชัน LADR4 ที่ไม่มีเอกสาร
DESCRIPTION
บางโปรแกรมใน ladr4-แอพ แพ็คเกจปัจจุบันไม่มีหน้าคู่มือ คุณสามารถรับ
เอกสารเกี่ยวกับแอปพลิเคชันเหล่านี้บางส่วนผ่านทาง พิสูจน์9 คู่มือซึ่งมีอยู่ที่
ระบบเดเบียนผ่านแพ็คเกจ พิสูจน์9-doc, ที่
/usr/share/doc/prover9-doc/manual/index.html. หรือเรียกใช้แอปพลิเคชันด้วย
-ช่วยด้วย ตัวเลือกอาจผลิตเอกสาร ยินดีต้อนรับแพทช์เพื่อเพิ่มหน้าคู่มือและ
อาจถูกส่งไปยังผู้ดูแลแพ็คเกจ Debian ซึ่งมีรายละเอียดอยู่ด้านล่าง
ใช้ idfilter ออนไลน์โดยใช้บริการ onworks.net
