Rev 17046 | Rev 17056 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
17046 | bpr | 1 | !set lang_exists=yes |
2 | |||
17055 | bpr | 3 | !set name_form1_1=he case,is over |
4 | !set name_form1_2=It remains the last case to process,\ |
||
5 | It is your last case to proces |
||
6 | !set name_form1_3=It remains,You have,case, to process. Current case: |
||
7 | !set name_form1_4=You must solve this exercise step by step, \ |
||
8 | using the step methods presented in the menu. |
||
9 | !set name_form1_5=Method for the first step,\ |
||
10 | Method for step |
||
11 | !set name_form1_erasehyp=Erase useless hypotheses |
||
12 | |||
13 | !set name_form3_1=What is the condition of application of this method |
||
14 | !set name_form3_2=What gives this method |
||
15 | |||
16 | !set name_formnewcase_1=Error of manipulation: there is only one remaining case. |
||
17 | !set name_formnewcase_2=!nosubst You have the following $[$casecnt-1] cases to process.\ |
||
18 | Click on one to go to it. |
||
19 | !set name_current_case=current case |
||
20 | |||
21 | !set name_answer1=No! You have made bad manipulations which have led you to a situation\ |
||
22 | where the proof of the exercise is no longer possible. The exercise\ |
||
23 | is therefore aborted, score=0. |
||
24 | !set name_answer2= No! You have exceeded the limit of allowed steps. The operation is\ |
||
25 | aborted, score=0. |
||
26 | !set name_answerprompt=Phew, Well, Yes, Great, Bravo, Congratulations |
||
27 | !set name_solve=!nosubst You have solved the exercise in $ctstep steps. |
||
28 | !set name_shouldbe=!nosubst It can be done in $m_minsteps steps. |
||
29 | !set name_scoreend=Score,stray steps, penalties for serious errors |
||
30 | |||
17046 | bpr | 31 | !set name_intro=This module is a groupment of exercises. You have apparently requested it\ |
32 | without precising which valid exercise you want to do. It is either because\ |
||
33 | you clicked on a wrong link, or because of a software bug.\ |
||
34 | !set name_tryagain=Try to restart your operation |
||
35 | |||
17055 | bpr | 36 | !set name_introprompt=Never, According to the exercises, Always |
37 | !set name_intro1= Sorry, this module has no available exercise for the time being.\ |
||
38 | Come back later! |
||
39 | !set name_introone=This module contains actually only one exercise,\ |
||
40 | Try it |
||
41 | !set name_intro2=Exercises containing,\ |
||
42 | Choose the exercises,\ |
||
43 | Level of severity,\ |
||
44 | Ask for application conditions of methods,\ |
||
45 | Ask the result of methods |
||
46 | !set name_intro3=Select titles containing word |
||
47 | !set name_intro_remark1=<b>Remarks</b>. The exercises will be randomly taken \ |
||
48 | among your choice (or among all the \ |
||
49 | available exercises if your choice is empty). |
||
50 | !set name_intro_remark2=Exercises marked by a * are in general harder than the others. |
||
51 | |||
20 | reyssat | 52 | !distribute item -- choose --, I have no idea,\ |
53 | precise if necessary\ |
||
54 | the good reply is, the good replies are\ |
||
55 | into ch_choose, ch_noidea, ch_optional |
||
56 | |||
16208 | bpr | 57 | name_badsize=Your answer does not even have a correct size. |
20 | reyssat | 58 | name_exo=Exercise. |
59 | |||
60 | !distribute item It is always applicable,\ |
||
61 | Only when\ |
||
16376 | bpr | 62 | into ct_Always, ct_Onlywhen |
16118 | bpr | 63 | |
64 | !distribute item Starting hypotheses,\ |
||
65 | New hypothesis,\ |
||
66 | Now you have,\ |
||
67 | Still to prove\ |
||
68 | into name_status_hyp,name_status_newhyp,name_status_now,name_toprove |
||
69 | |||
70 | !distribute item undo,redo,Goal change,Not counted for score\ |
||
71 | into name_undo,name_redo, name_change,name_noaccount |
||
72 | |||
73 | !distribute item History of steps,Step,Case,Result,Method,Remarks,Methods \ |
||
74 | into name_hist,name_step, name_case,name_result,name_method,name_remarks,name_methods |
||
75 | |||
76 | !distribute item Status of the exercise,Change the method\ |
||
77 | into name_state, name_methchange |
||
16121 | bpr | 78 | |
79 | !set name_continue=Continue |
||
17055 | bpr | 80 | |
81 | !set name_nohint=Sorry, no hint is available for this exercise. |
||
82 | |||
83 | !set name_otherhelp=Other help subjects |
||
84 | !set name_nosuphelp=There is no further help for this method. |
||
85 | !set name_noparthelp=This exercise has no particular help. |
||
86 | !set name_subjecthelp=Help subjects |
||
87 | |||
88 | !set name_methodtitle=Allowed methods for this exercisee |
||
89 | |||
90 | !set name_titlestate=Current status of the exercise |
||
91 | !set name_hypusable=Usable hypotheses: |
||
92 | !set name_totransform=Objects to transform |
||
93 | !set name_remaintoprove=Still to prove |
||
94 | !set name_statushelp_1=!nosubst You should solve this exercise in \ |
||
95 | $m_minsteps steps in order to have a maximal score. |
||
96 | !set name_statushelp_2=!nosubst This exercise can be solved with \ |
||
97 | $m_minsteps steps, but in its current status you can make up to \ |
||
98 | $[$m_minsteps+$tolerance] steps and still have a maximal score. |
||
99 | !set name_statushelp_3=You are now on the step number |
||
100 | !set name_statushelp_4=!nosubst You have finished at the end of $[$currstep-1] steps. |
||
101 | !set name_statushelp_5=!nosubst You still have $[$casecnt-1] cases to process.\ |
||
102 | Current case |
||
103 | !set name_statushelp_6=This is your last case to process |