Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi öykünücüsü veya MAC OS çevrimiçi öykünücüsü gibi birden çok ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen coqwc komutudur.
Program:
ADI
coqwc - Coq dosyalarındaki belirtim, kanıt ve yorum satırlarının sayısını yazdır
SİNOPSİS
coqwc [ -p ] [ -s ] [ -r ] [ -e ] Dosyaları Kendi ID’n ile mağazalarını oluştur
TANIM
coqwc Coq'da belirtim satırlarının, prova satırlarının ve yorum satırlarının sayısını hesaplar
dosyaları.
SEÇENEKLER
-p Yorumların yüzdesini yazdır
-s Yalnızca belirtim satırı sayısını yazdır
-r Yalnızca prova satırı sayısını yazdır
-e Başlıkları atlamayın
onworks.net hizmetlerini kullanarak coqwc'yi çevrimiçi kullanın
