זוהי הפקודה sigtest שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות החינמיות שלנו כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS.
תָכְנִית:
שֵׁם
ladr4-apps - יישומי LADR4 לא מתועדים
תיאור
כמה תוכניות ב ladr4-אפליקציות לחבילה אין כרגע דפים ידניים. אתה יכול להשיג
תיעוד על חלק מהיישומים הללו דרך ה מוכיח9 מדריך, אשר זמין ב
מערכות דביאן דרך החבילה prover9-doc, at
/usr/share/doc/prover9-doc/manual/index.html. לחילופין הפעלת האפליקציה עם
מה היא עזרה אפשרות עשויה לייצר תיעוד. תיקונים להוספת דפים ידניים יתקבלו בברכה, ו
ניתן לשלוח למנהל החבילה של דביאן, שפרטיו מפורטים להלן.
השתמש ב-sigtest באינטרנט באמצעות שירותי onworks.net
