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