-
Notifications
You must be signed in to change notification settings - Fork 2
/
manually_method_how_to_input.html
105 lines (73 loc) · 4.13 KB
/
manually_method_how_to_input.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<script type="text/javascript">
var tiki_cookie_jar = new Array();
tiki_cookie_jar = {
};
</script>
<script type="text/javascript" src="lib/tiki-js.js"></script><title>JGEX Documentation : manually input method</title>
<link rel="StyleSheet" href="lib/1.css" type="text/css">
<link rel="StyleSheet" href="styles/cindydoc.css" type="text/css">
<link rel="alternate" type="application/xml" title="RSS Wiki" >
<style type="text/css">
<!--
.style2 {font-size: 18px}
-->
</style>
</head>
<body>
<div id="overDiv" style="position: absolute; visibility: hidden; z-index: 1000;"></div>
<script type="text/javascript" language="JavaScript" src="lib/overlib.js"></script>
<div id="tiki-clean">
<div id="tiki-mid">
<div class="wikitopline"></div>
<div class="wikitext">
<h2>How to Input? </h2>
<h3> </h3>
<h3> </h3>
<h3><strong>Step 1. Preparation. </strong></h3>
<p>To input the hypothese of the theorem, the user can just draw on the diagram pane and the corresponding text will be generated at the <strong>prove pane</strong> automatically. </p>
<p> </p>
<h3><strong>Step 2. Input the Conclusion.</strong> </h3>
<p><strong>2.1</strong> Use Button "Add" to popup a menu, select "Keywords --> To Prove" in the popuped menu. </p>
<p><strong>2.2</strong> Use Button "Append" to popup a menu, select "Assertion" or "Equation" in the popuped menu to input the conclusion to be proved.</p>
<p> </p>
<h3><strong>Step 3. Proof Body </strong></h3>
<p> </p>
<p><br />
<img src="images2/mpaneid.gif" width="506" height="229" border="1" /> </p>
<p>(1). Indicate the type of current input elements.</p>
<p>(2). The main input pane. </p>
<p>(3). Set the current proof is editable or not.</p>
<p>(4). Show the step bar.</p>
<p>(5). Button "OK". </p>
<p>(6). Button "Add". This button <strong>adds a new line to the current selected proof line </strong>.</p>
<p>(7). Button "Append". This button <strong>appends an elements to a proof line.</strong></p>
<p>(8). Button "Child". This button <strong>creates a child to the current selected proof line.</strong></p>
<p>(9). Button "Cancel". Cancel the current action. </p>
<p> </p>
<p> </p>
<p> The proof body can be divided into several types: <strong class="quotebody">Text</strong>, <span class="quotebody">Keywords</span>, <span class="quotebody">Assertion</span>, <span class="quotebody">Objects</span>, <span class="quotebody">Draw</span>, <span class="quotebody">Equation</span>,<span class="quotebody">Rules</span>. </p>
<p><strong>1. Text.</strong> Select "Text" on the popuped menu, type in text in the <strong>input pane. </strong>Click OK button to comfirm the input. <a name="text" id="text"></a></p>
<p><img src="images2/mpmenu1.gif" width="103" height="189" /> </p>
<p><img src="images2/mtext.gif" width="356" height="36" border="1" /> </p>
<p> </p>
<p> </p>
<p><strong>2. Keywords. </strong><a name="keywords" id="keywords"></a></p>
<p><img src="images2/mpmenu22.gif" width="207" height="328" border="1" /></p>
<p> </p>
<p><strong>3. Assertion. </strong><a name="assertion" id="assertion"></a></p>
<p><img src="images2/mpmenu3.gif" width="331" height="345" border="1" /></p>
<p><strong>4. Objects. </strong><a name="objects" id="objects"></a></p>
<p><img src="images2/mpmenu4.gif" width="239" height="329" border="1" /></p>
<p><strong>5. Draw. </strong><a name="draw" id="draw"></a></p>
<p> </p>
<p><strong>6. Equation. </strong><a name="equation" id="equation"></a></p>
<p><img src="images2/mpmenu6.gif" width="350" height="112" border="1" /></p>
<p><strong>7. Rules. </strong><a name="rule" id="rule"></a></p>
</div>
<p class="editdate">JGEX Help </p>
</div>
</div>
</body></html>