← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/projects/sidekick/public/session.html

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/projects/sidekick/public/session.html
 
1
<!HTML>
 
2
<html>
 
3
<head>
 
4
<meta charset="UTF-8">
 
5
<title>Session Viewer &mdash; ACL2 Sidekick</title>
 
6
 
 
7
<!--
 
8
ACL2 Sidekick
 
9
Copyright (C) 2014 Kookamara LLC
 
10
 
 
11
Contact:
 
12
 
 
13
  Kookamara LLC
 
14
  11410 Windermere Meadows
 
15
  Austin, TX 78759, USA
 
16
  http://www.kookamara.com/
 
17
 
 
18
License: (An MIT/X11-style license)
 
19
 
 
20
  Permission is hereby granted, free of charge, to any person obtaining a
 
21
  copy of this software and associated documentation files (the "Software"),
 
22
  to deal in the Software without restriction, including without limitation
 
23
  the rights to use, copy, modify, merge, publish, distribute, sublicense,
 
24
  and/or sell copies of the Software, and to permit persons to whom the
 
25
  Software is furnished to do so, subject to the following conditions:
 
26
 
 
27
  The above copyright notice and this permission notice shall be included in
 
28
  all copies or substantial portions of the Software.
 
29
 
 
30
  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 
31
  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 
32
  FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 
33
  AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 
34
  LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
 
35
  FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 
36
  DEALINGS IN THE SOFTWARE.
 
37
-->
 
38
 
 
39
<link rel="stylesheet" type="text/css" href="style.css"/>
 
40
<script src="lib/jquery-2.1.0.min.js"></script>
 
41
<script src="common.js"></script>
 
42
<script src="toolbar.js"></script>
 
43
<script src="session.js"></script>
 
44
 
 
45
<style>
 
46
<!--
 
47
 
 
48
#pbtwrap {
 
49
    float: left;
 
50
    width: 98%;
 
51
    margin-left: -32em;
 
52
    height: 100%;
 
53
    overflow-y: auto;
 
54
}
 
55
 
 
56
#pbt {
 
57
    margin-left: 32em;
 
58
}
 
59
 
 
60
#pcbwrap {
 
61
    float: left;
 
62
    width: 32em;
 
63
    padding-left: 1em;
 
64
    padding-top: 0;
 
65
    margin: 0;
 
66
    height: 100%;
 
67
}
 
68
 
 
69
.pbt_form, .pcb_form {
 
70
/* formulas in pbt display */
 
71
   font-family: "Consolas", "Inconsolata", "Bitstream Vera Sans Mono",
 
72
                "DejaVu Sans Mono", "Lucida Console", monospace;
 
73
}
 
74
 
 
75
.pbt_form a {
 
76
    text-decoration: none;
 
77
    color: inherit;
 
78
}
 
79
 
 
80
.pbt_table {
 
81
    width: 95%;
 
82
    overflow-x: auto;
 
83
}
 
84
 
 
85
.pbt_table th, .pbt_table td {
 
86
    vertical-align: top;
 
87
    border: 1px solid #909090;
 
88
    padding-top: .2em;
 
89
    padding-bottom: .2em;
 
90
    padding-left: .5em;
 
91
    padding-right: .5em;
 
92
    overflow-x: auto;
 
93
}
 
94
 
 
95
.pbt_part_disabled {
 
96
    background-color: #f0f0f0;
 
97
}
 
98
 
 
99
.pbt_disabled {
 
100
    background-color: #e0e0e0;
 
101
}
 
102
 
 
103
.pbt_table {
 
104
    border: 1px solid #909090;
 
105
    border-collapse: collapse;
 
106
}
 
107
 
 
108
.pcb_table {
 
109
    width: 100%;
 
110
    border-collapse: collapse;
 
111
    margin: 0;
 
112
    padding: 0;
 
113
}
 
114
 
 
115
.pcb_table td {
 
116
    border: 1px solid #909090;
 
117
}
 
118
 
 
119
.pbt_verified {
 
120
    color: #008000;
 
121
}
 
122
 
 
123
.pbt_logic {
 
124
    color: #0000f0;
 
125
}
 
126
 
 
127
.pbt_program {
 
128
    color: #f00000;
 
129
}
 
130
 
 
131
// -->
 
132
</style>
 
133
 
 
134
</head>
 
135
<body>
 
136
 
 
137
<div id="toolbar"></div>
 
138
 
 
139
<div id="main">
 
140
 
 
141
<div id="pbtwrap">
 
142
<div id="pbt"> Loading... </div>
 
143
</div>
 
144
 
 
145
<div id="pcbwrap">
 
146
<div id="pcb">
 
147
 
 
148
<h3 class="banner"><img src="icons/session.png"/> Session Viewer</h3>
 
149
 
 
150
<p>This is like ACL2's <b>:pbt</b> command.  It updates automatically
 
151
as you submit new commands.</p>
 
152
 
 
153
<ul>
 
154
<li><b>Hover</b> to expand a command (like <b>:pc</b>).</li>
 
155
 
 
156
<li><b>Click</b> to see even more (like <b>:pcb!</b>.)<br/>
 
157
    Note: this can produce a lot of output
 
158
    for commands like <tt>include-book</tt>.</li>
 
159
</ul>
 
160
 
 
161
 
 
162
<h5>Color Guide</h5>
 
163
 
 
164
<table style="width: auto; margin-left: 3em; margin-right: 3em;">
 
165
<tr valign="top">
 
166
<td style="padding-left: .5em; padding-right: .5em;">
 
167
 
 
168
<table class="pbt_table">
 
169
<tr><td>Enabled</td>
 
170
<tr><td class="pbt_part_disabled"><nobr>Partially enabled/disabled</nobr></td></tr>
 
171
<tr><td class="pbt_disabled">Disabled</td></tr>
 
172
</table>
 
173
 
 
174
</td>
 
175
 
 
176
<td style="padding-left: .5em; padding-right: .5em;">
 
177
 
 
178
<table class="pbt_table">
 
179
<tr><td class="pbt_verified">Logic mode, guards verified</td></tr>
 
180
<tr><td class="pbt_logic">Logic mode, guards not verified</td></tr>
 
181
<tr><td class="pbt_program">Program mode</td></tr>
 
182
<tr><td>Other command, or mixed modes</td></tr>
 
183
</table>
 
184
 
 
185
</td></tr></table>
 
186
 
 
187
<h4>Todo/Wishlist</h4>
 
188
 
 
189
<ul>
 
190
<li>Home package updating</li>
 
191
 
 
192
<li>Hyperlinks to lookup page or some other better info mechanism.</li>
 
193
 
 
194
<li>The :pcb display is confusing for large items like include-books;
 
195
it'd be nice to better present how things are getting expanded, e.g.,
 
196
with arrows/indentation showing the expansion steps...</li>
 
197
 
 
198
<li>Capture/export session button</li>
 
199
 
 
200
<li>See other things instead of just :pcb output, like :pr output.</li>
 
201
 
 
202
<li>Search for events related to a particular symbol.</li>
 
203
 
 
204
</ul>
 
205
 
 
206
<p>Is there a way to see what definitions got introduced by a command?</P.
 
207
 
 
208
<p>Is there a way to see what xdoc got introduced?</p>
 
209
 
 
210
 
 
211
 
 
212
</div></div>
 
213
 
 
214
 
 
215
<div id="footer"></div>
 
216
 
 
217
 
 
218
</body>
 
219
</html>
 
220
 
 
221
 
 
222