Survey 366 zh-Hans en qid code answer assessment_value sortorder language scale_id gid sid group_name group_order description language randomization_group grelevance qid parent_qid sid gid type title question preg help other mandatory question_order language scale_id same_default relevance modulename <![CDATA[tactics]]> Tactic groups]]> <![CDATA[tactics]]> 策略（Tactic）组]]> <![CDATA[tacticlanguages]]> <![CDATA[tacticlanguages]]> <![CDATA[featuresinstructions]]> <![CDATA[featuresinstructions]]> 在下列问题中，针对 Coq 各项语言功能、函数库及工具，请选择你对它的使用程度，以及它对你的重要性。

如果你没听说过或不打算使用某一项，请选择“拒答”以跳过。如果某一项在你的工作中并非至关重要，请将“不可取代”、“难以取代”两栏留空。

如果你意外选择了某一栏，可点击“拒答”以清空所在行。

]]> qid parent_qid sid gid type title question preg help other mandatory question_order language scale_id same_default relevance modulename <![CDATA[vanilla]]> The standard tactics]]> <![CDATA[vanilla]]> 标准库策略]]> <![CDATA[ssr]]> SSReflect]]> <![CDATA[ssr]]> SSReflect]]> <![CDATA[ltac2]]> Ltac2]]> <![CDATA[ltac2]]> Ltac2]]> <![CDATA[mtac2]]> Mtac2]]> <![CDATA[mtac2]]> Mtac2]]> <![CDATA[meta]]> MetaCoq]]> <![CDATA[meta]]> MetaCoq]]> <![CDATA[elpi]]> Coq-Elpi]]> <![CDATA[elpi]]> Coq-Elpi]]> <![CDATA[ltac]]> Ltac]]> <![CDATA[ltac]]> Ltac]]> qid attribute value language sid admin expires startdate adminemail anonymized faxto format savetimings template language additional_languages datestamp usecookie allowregister allowsave autonumber_start autoredirect allowprev printanswers ipaddr refurl publicstatistics publicgraphs listpublic htmlemail tokenanswerspersistence assessments usecaptcha usetokens bounce_email attributedescriptions emailresponseto emailnotificationto tokenlength showxquestions showgroupinfo shownoanswer showqnumcode bouncetime bounceprocessing bounceaccounttype bounceaccounthost bounceaccountpass bounceaccountencryption bounceaccountuser showwelcome showprogress navigationdelay nokeyboard alloweditaftercompletion googleanalyticsstyle googleanalyticsapikey sendconfirmation questionindex gsid showsurveypolicynotice surveyls_survey_id surveyls_language surveyls_title surveyls_description surveyls_welcometext surveyls_endtext surveyls_url surveyls_urldescription surveyls_email_invite_subj surveyls_email_invite surveyls_email_remind_subj surveyls_email_remind surveyls_email_register_subj surveyls_email_register surveyls_email_confirm_subj surveyls_email_confirm surveyls_dateformat surveyls_numberformat email_admin_notification_subj email_admin_notification email_admin_responses_subj email_admin_responses surveyls_attributecaptions attachments surveyls_policy_notice surveyls_policy_error surveyls_policy_notice_label
you have been invited to participate in a survey.

The survey is titled:
"{SURVEYNAME}"

"{SURVEYDESCRIPTION}"

To participate, please click on the link below.

Sincerely,

{ADMINNAME} ({ADMINEMAIL})

----------------------------------------------
Click here to do the survey:
{SURVEYURL}

If you do not want to participate in this survey and don't want to receive any more invitations please click the following link:
{OPTOUTURL}

If you are blacklisted but want to participate in this survey and want to receive invitations please click the following link:
{OPTINURL}]]>
Recently we invited you to participate in a survey.

We note that you have not yet completed the survey, and wish to remind you that the survey is still available should you wish to take part.

The survey is titled:
"{SURVEYNAME}"

"{SURVEYDESCRIPTION}"

To participate, please click on the link below.

Sincerely,

{ADMINNAME} ({ADMINEMAIL})

----------------------------------------------
Click here to do the survey:
{SURVEYURL}

If you do not want to participate in this survey and don't want to receive any more invitations please click the following link:
{OPTOUTURL}]]>
You, or someone using your email address, have registered to participate in an online survey titled {SURVEYNAME}.

To complete this survey, click on the following URL:

{SURVEYURL}

If you have any questions about this survey, or if you did not register to participate and believe this email is in error, please contact {ADMINNAME} at {ADMINEMAIL}.]]>
this email is to confirm that you have completed the survey titled {SURVEYNAME} and your response has been saved. Thank you for participating.

If you have any further questions about this email, please contact {ADMINNAME} on {ADMINEMAIL}.

Sincerely,

{ADMINNAME}]]>
A new response was submitted for your survey '{SURVEYNAME}'.

Click the following link to see the individual response:
{VIEWRESPONSEURL}

Click the following link to edit the individual response:
{EDITRESPONSEURL}

View statistics by clicking here:
{STATISTICSURL}]]>
A new response was submitted for your survey '{SURVEYNAME}'.

Click the following link to see the individual response:
{VIEWRESPONSEURL}

Click the following link to edit the individual response:
{EDITRESPONSEURL}

View statistics by clicking here:
{STATISTICSURL}


The following answers were given by the participant:
{ANSWERTABLE}]]>
现邀请您参加一个调查。

该调查的名字为：
"{SURVEYNAME}"

"{SURVEYDESCRIPTION}"

确认参加，请点击下面的连接。

{ADMINNAME} ({ADMINEMAIL})

----------------------------------------------
点击此处做调查：
{SURVEYURL}

如果您不想参与本调查，并且不再希望接收邀请，请点击下面链接：
{OPTOUTURL}

如果您被列入了黑名单并想参与本调查、希望能接收到邀请的话，请点击下面链接：
{OPTOUTURL}]]>
最近我们邀请您参加一项调查。

我们注意到您尚未完成这项调查，如果您想参与的话，该项调查还在进行中。

调查标题：
"{SURVEYNAME}"

"{SURVEYDESCRIPTION}"

确认参加，请点击下面的链接。


{ADMINNAME} ({ADMINEMAIL})

----------------------------------------------
点击这里做调查：
{SURVEYURL}

如果您不想参与本调查，并且不再希望接收邀请，请点击下面链接：
{OPTOUTURL}]]>
您或者其他人用您的邮件地址注册参与了名为{SURVEYNAME}的在线调查。

要完成这个调查，请点击下面的URL:

{SURVEYURL}

如果您有其他问题，或者您没有注册参与并认为这封邮件有误，请通过{ADMINEMAIL}联系{ADMINNAME}。]]>
这封邮件是为了确认您已经完成了名为{SURVEYNAME}的调查，您的反馈已经被保存。感谢参与。

如果您对这封邮件有任何问题，请 通过{ADMINEMAIL}联系 {ADMINNAME}.


{ADMINNAME}]]>
有一份新的反馈已提交至您的问卷调查 '{SURVEYNAME}'.



点击以下链接查看详情:
{VIEWRESPONSEURL}



点击以下链接编辑详情回复:
{EDITRESPONSEURL}


查看统计信息以点击此处:

{STATISTICSURL}]]>
有一个新反馈已提交至您的问卷调查 '{SURVEYNAME}'.

点击下面链接查看回答详情:
{VIEWRESPONSEURL}


点击下面链接编辑回答详情:
{EDITRESPONSEURL}


查看统计信息点击此处:
{STATISTICSURL}



以下回答由参与者提供:
{ANSWERTABLE}]]> 663385 INRIA - from_bootswatch inherit 663385 INRIA - from_bootswatch on on upload/themes/survey/INRIA - from_bootswatch/files/inr_logo_blanc_sans_baseline.png on 1