.TH ROCQIDE 1 . .SH "نام (NAME)" rocqide \- رابط گرافیکی برای Rocq Prover . . .SH "خلاصه دستور (SYNOPSIS)" .B rocqide [ گزینه‌ها ] . .SH "توضیحات (DESCRIPTION)" . .B rocqide یک رابط گرافیکی مبتنی بر GTK برای Rocq Prover است. .PP برای استفاده از Rocq در خط فرمان یا به صورت دسته‌ای (batch)، به .BR rocq (1) مراجعه کنید. . . .SH "گزینه‌ها (OPTIONS)" . .TP .B \-h نمایش فهرست کامل گزینه‌های پذیرفته‌شده توسط .BR rocqide . .TP .BI \-I\ dir, \ \-include\ dir افزودن دایرکتوری .I dir به مسیر include. .TP .BI \-R\ dir\ rocqdir نگاشت بازگشتی دایرکتوری فیزیکی .I dir به دایرکتوری منطقی .I rocqdir. .TP .B \-src افزودن دایرکتوری‌های منبع به مسیر include. .TP .B \-nois شروع با یک وضعیت خالی. .TP .BI \-load\-ml\-object\ f بارگذاری فایل شیء ML به نام .I f. .TP .BI \-load\-ml\-source\ f بارگذاری فایل منبع ML به نام .I f. .TP .BI \-l\ f, \ \-load\-vernac\-source\ f بارگذاری فایل Rocq به نام .IR f .v (Load .IR f. ). .TP .BI \-lv\ f, \ \-load\-vernac\-source\-verbose\ f بارگذاری با جزئیات فایل Rocq به نام .IR f .v (Load Verbose .IR f. ). .TP .BI \-load\-vernac\-object\ path بارگذاری کتابخانه Rocq از مسیر .I path (Require .IR path. ). .TP .BI \-require-import\ path بارگذاری کتابخانه Rocq از مسیر .I path و وارد کردن آن (Require Import .IR path. ). .TP .BI \-compile\ f کامپایل فایل Rocq به نام .IR f .v (مستلزم .BR \-batch است). .TP .BI \-compile\-verbose\ f کامپایل با جزئیات فایل Rocq به نام .IR f .v (مستلزم .BR -batch است). .TP .B \-where چاپ مسیر کتابخانه استاندارد Rocq و خروج. .TP .B -v چاپ نسخه Rocq و خروج. .TP .B \-q صرف‌نظر از بارگذاری rcfile. .TP .BI \-init\-file\ f تنظیم rcfile به .I f. .TP .B \-emacs اعلام به Rocq مبنی بر اینکه تحت Emacs اجرا می‌شود. .TP .BI \-dump\-glob\ f ذخیره ارجاعات سراسری در فایل .I f (جهت استفاده توسط .BR rocq (1) doc). .TP .B \-impredicative\-set تنظیم مرتبه (sort) Set به حالت impredicative. .TP .B \-dont\-load\-proofs عدم بارگذاری اثبات‌های مات (opaque proofs) در حافظه. . .SH "همچنین ببینید (SEE ALSO)" . .BR rocq (1), .PP .I راهنمای مرجع Rocq .PP وب‌سایت Coq: http://coq.inria.fr .PP /usr/share/doc/rocqide/FAQ . .SH "نویسندگان (AUTHORS)" این صفحه راهنما توسط Samuel Mimram برای پروژه دبیان نوشته شده است (اما ممکن است توسط دیگران نیز استفاده شود).