1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-06-26 04:00:43 +03:00

Merge branch 'ganelson:master' into unicode

This commit is contained in:
David Kinder 2023-09-07 06:38:59 +01:00 committed by GitHub
commit a51c8c60c0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
13 changed files with 455 additions and 24 deletions

View file

@ -1,6 +1,6 @@
# Inform 7
[Version](notes/versioning.md): 10.2.0-beta+6X13 'Krypton' (5 September 2023)
[Version](notes/versioning.md): 10.2.0-beta+6X14 'Krypton' (6 September 2023)
## About Inform

View file

@ -1,3 +1,3 @@
Prerelease: beta
Build Date: 5 September 2023
Build Number: 6X13
Build Date: 6 September 2023
Build Number: 6X14

View file

@ -624,6 +624,7 @@ as it will be seen by the reader.
<span class="reserved-syntax">void</span><span class="plain-syntax"> </span><span class="function-syntax">Indexes::write_general_index_inner</span><span class="plain-syntax">(</span><span class="identifier-syntax">OUTPUT_STREAM</span><span class="plain-syntax">, </span><span class="reserved-syntax">compiled_documentation</span><span class="plain-syntax"> *</span><span class="identifier-syntax">cd</span><span class="plain-syntax">,</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">int</span><span class="plain-syntax"> </span><span class="identifier-syntax">just_examples</span><span class="plain-syntax">) {</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">HTML_OPEN_WITH</span><span class="plain-syntax">(</span><span class="string-syntax">"div"</span><span class="plain-syntax">, </span><span class="string-syntax">"class=\"generalindex\""</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> </span><span class="named-paragraph-container code-font"><a href="7-gi.html#SP9_1" class="named-paragraph-link"><span class="named-paragraph">Construct sorting keys for the lemmas</span><span class="named-paragraph-number">9.1</span></a></span><span class="plain-syntax">;</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">int</span><span class="plain-syntax"> </span><span class="identifier-syntax">NL</span><span class="plain-syntax"> = </span><span class="identifier-syntax">LinkedLists::len</span><span class="plain-syntax">(</span><span class="identifier-syntax">cd</span><span class="plain-syntax">-&gt;</span><span class="element-syntax">id</span><span class="plain-syntax">.</span><span class="element-syntax">lemma_list</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">index_lemma</span><span class="plain-syntax"> **</span><span class="identifier-syntax">lemma_list</span><span class="plain-syntax"> =</span>
@ -634,6 +635,7 @@ as it will be seen by the reader.
<span class="plain-syntax"> </span><span class="named-paragraph-container code-font"><a href="7-gi.html#SP9_2" class="named-paragraph-link"><span class="named-paragraph">Render the index in sorted order</span><span class="named-paragraph-number">9.2</span></a></span><span class="plain-syntax">;</span>
<span class="plain-syntax"> </span><span class="named-paragraph-container code-font"><a href="7-gi.html#SP9_3" class="named-paragraph-link"><span class="named-paragraph">Give feedback in index testing mode</span><span class="named-paragraph-number">9.3</span></a></span><span class="plain-syntax">;</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">Memory::I7_free</span><span class="plain-syntax">(</span><span class="identifier-syntax">lemma_list</span><span class="plain-syntax">, </span><span class="identifier-syntax">ARRAY_SORTING_MREASON</span><span class="plain-syntax">, </span><span class="identifier-syntax">NL</span><span class="plain-syntax">*((</span><span class="reserved-syntax">int</span><span class="plain-syntax">) </span><span class="reserved-syntax">sizeof</span><span class="plain-syntax">(</span><span class="reserved-syntax">index_lemma</span><span class="plain-syntax"> *)));</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">HTML_CLOSE</span><span class="plain-syntax">(</span><span class="string-syntax">"div"</span><span class="plain-syntax">);</span>
<span class="plain-syntax">}</span>
<span class="reserved-syntax">int</span><span class="plain-syntax"> </span><span class="function-syntax">Indexes::sort_comparison</span><span class="plain-syntax">(</span><span class="reserved-syntax">const</span><span class="plain-syntax"> </span><span class="reserved-syntax">void</span><span class="plain-syntax"> *</span><span class="identifier-syntax">ent1</span><span class="plain-syntax">, </span><span class="reserved-syntax">const</span><span class="plain-syntax"> </span><span class="reserved-syntax">void</span><span class="plain-syntax"> *</span><span class="identifier-syntax">ent2</span><span class="plain-syntax">) {</span>
@ -863,18 +865,22 @@ as it will be seen by the reader.
<span class="plain-syntax"> </span><span class="identifier-syntax">text_stream</span><span class="plain-syntax"> *</span><span class="identifier-syntax">link_class</span><span class="plain-syntax"> = </span><span class="identifier-syntax">I</span><span class="string-syntax">"indexlink"</span><span class="plain-syntax">;</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">volume_number</span><span class="plain-syntax"> &gt; </span><span class="constant-syntax">0</span><span class="plain-syntax">) </span><span class="identifier-syntax">link_class</span><span class="plain-syntax"> = </span><span class="identifier-syntax">I</span><span class="string-syntax">"indexlinkalt"</span><span class="plain-syntax">;</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">TEMPORARY_TEXT</span><span class="plain-syntax">(</span><span class="identifier-syntax">link</span><span class="plain-syntax">)</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">text_stream</span><span class="plain-syntax"> *</span><span class="identifier-syntax">A</span><span class="plain-syntax"> = </span><span class="identifier-syntax">ref</span><span class="plain-syntax">-&gt;</span><span class="element-syntax">anchor</span><span class="plain-syntax">;</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">S</span><span class="plain-syntax">) {</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">for</span><span class="plain-syntax"> (</span><span class="reserved-syntax">int</span><span class="plain-syntax"> </span><span class="identifier-syntax">i</span><span class="plain-syntax">=0; </span><span class="identifier-syntax">i</span><span class="function-syntax">&lt;Str::len(S-&gt;</span><span class="identifier-syntax">stashed</span><span class="plain-syntax">); </span><span class="identifier-syntax">i</span><span class="plain-syntax">++) {</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">wchar_t</span><span class="plain-syntax"> </span><span class="identifier-syntax">c</span><span class="plain-syntax"> = </span><span class="identifier-syntax">Str::get_at</span><span class="plain-syntax">(</span><span class="identifier-syntax">S</span><span class="plain-syntax">-&gt;</span><span class="identifier-syntax">stashed</span><span class="plain-syntax">, </span><span class="identifier-syntax">i</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">c</span><span class="plain-syntax"> == </span><span class="character-syntax">':'</span><span class="plain-syntax">) </span><span class="reserved-syntax">break</span><span class="plain-syntax">;</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> ((</span><span class="identifier-syntax">Characters::isdigit</span><span class="plain-syntax">(</span><span class="identifier-syntax">c</span><span class="plain-syntax">)) || (</span><span class="identifier-syntax">c</span><span class="plain-syntax"> == </span><span class="character-syntax">'.'</span><span class="plain-syntax">)) </span><span class="identifier-syntax">PUT_TO</span><span class="plain-syntax">(</span><span class="identifier-syntax">link</span><span class="plain-syntax">, </span><span class="identifier-syntax">c</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> }</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">A</span><span class="plain-syntax"> = </span><span class="identifier-syntax">MarkdownVariations::URL_for_heading</span><span class="plain-syntax">(</span><span class="identifier-syntax">S</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> }</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">E</span><span class="plain-syntax">) {</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">S</span><span class="plain-syntax">) </span><span class="identifier-syntax">WRITE_TO</span><span class="plain-syntax">(</span><span class="identifier-syntax">link</span><span class="plain-syntax">, </span><span class="string-syntax">" "</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">WRITE_TO</span><span class="plain-syntax">(</span><span class="identifier-syntax">link</span><span class="plain-syntax">, </span><span class="string-syntax">"ex %S"</span><span class="plain-syntax">, </span><span class="identifier-syntax">E</span><span class="plain-syntax">-&gt;</span><span class="identifier-syntax">insignia</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">A</span><span class="plain-syntax"> = </span><span class="identifier-syntax">E</span><span class="plain-syntax">-&gt;</span><span class="identifier-syntax">URL</span><span class="plain-syntax">;</span>
<span class="plain-syntax"> }</span>
<span class="plain-syntax"> </span><a href="7-iu.html#SP2" class="function-link"><span class="function-syntax">IndexUtilities::general_link</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">OUT</span><span class="plain-syntax">, </span><span class="identifier-syntax">link_class</span><span class="plain-syntax">, </span><span class="identifier-syntax">ref</span><span class="plain-syntax">-&gt;</span><span class="element-syntax">anchor</span><span class="plain-syntax">, </span><span class="identifier-syntax">link</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> </span><span class="reserved-syntax">if</span><span class="plain-syntax"> (</span><span class="identifier-syntax">Str::len</span><span class="plain-syntax">(</span><span class="identifier-syntax">A</span><span class="plain-syntax">) == </span><span class="constant-syntax">0</span><span class="plain-syntax">) { </span><span class="identifier-syntax">LOG</span><span class="plain-syntax">(</span><span class="string-syntax">"Alert! No anchor for %S\n"</span><span class="plain-syntax">, </span><span class="identifier-syntax">link</span><span class="plain-syntax">); }</span>
<span class="plain-syntax"> </span><a href="7-iu.html#SP2" class="function-link"><span class="function-syntax">IndexUtilities::general_link</span></a><span class="plain-syntax">(</span><span class="identifier-syntax">OUT</span><span class="plain-syntax">, </span><span class="identifier-syntax">link_class</span><span class="plain-syntax">, </span><span class="identifier-syntax">A</span><span class="plain-syntax">, </span><span class="identifier-syntax">link</span><span class="plain-syntax">);</span>
<span class="plain-syntax"> </span><span class="identifier-syntax">DISCARD_TEXT</span><span class="plain-syntax">(</span><span class="identifier-syntax">link</span><span class="plain-syntax">)</span>
<span class="plain-syntax"> }</span>
</pre>

View file

@ -515,6 +515,7 @@ void Indexes::write_general_index(OUTPUT_STREAM, compiled_documentation *cd) {
void Indexes::write_general_index_inner(OUTPUT_STREAM, compiled_documentation *cd,
int just_examples) {
HTML_OPEN_WITH("div", "class=\"generalindex\"");
@<Construct sorting keys for the lemmas@>;
int NL = LinkedLists::len(cd->id.lemma_list);
index_lemma **lemma_list =
@ -525,6 +526,7 @@ void Indexes::write_general_index_inner(OUTPUT_STREAM, compiled_documentation *c
@<Render the index in sorted order@>;
@<Give feedback in index testing mode@>;
Memory::I7_free(lemma_list, ARRAY_SORTING_MREASON, NL*((int) sizeof(index_lemma *)));
HTML_CLOSE("div");
}
int Indexes::sort_comparison(const void *ent1, const void *ent2) {
@ -720,18 +722,22 @@ int Indexes::sort_comparison(const void *ent1, const void *ent2) {
text_stream *link_class = I"indexlink";
if (volume_number > 0) link_class = I"indexlinkalt";
TEMPORARY_TEXT(link)
text_stream *A = ref->anchor;
if (S) {
for (int i=0; i<Str::len(S->stashed); i++) {
inchar32_t c = Str::get_at(S->stashed, i);
if (c == ':') break;
if ((Characters::isdigit(c)) || (c == '.')) PUT_TO(link, c);
}
A = MarkdownVariations::URL_for_heading(S);
}
if (E) {
if (S) WRITE_TO(link, " ");
WRITE_TO(link, "ex %S", E->insignia);
A = E->URL;
}
IndexUtilities::general_link(OUT, link_class, ref->anchor, link);
if (Str::len(A) == 0) { LOG("Alert! No anchor for %S\n", link); }
IndexUtilities::general_link(OUT, link_class, A, link);
DISCARD_TEXT(link)
}

View file

@ -1,6 +1,6 @@
Total memory consumption was 139495K = 136 MB
Total memory consumption was 139573K = 136 MB
---- was used for 2127131 objects, in 374784 frames in 0 x 800K = 0K = 0 MB:
---- was used for 2127132 objects, in 374785 frames in 0 x 800K = 0K = 0 MB:
30.2% inter_tree_node_array 60 x 8192 = 491520 objects, 43255680 bytes
19.4% text_stream_array 4925 x 100 = 492500 objects, 27737600 bytes
@ -104,7 +104,7 @@ Total memory consumption was 139495K = 136 MB
---- nonlocal_variable 94 objects, 20304 bytes
---- pipeline_step 15 objects, 20280 bytes
---- action_name 90 objects, 20160 bytes
---- method 415 objects, 19920 bytes
---- method 416 objects, 19968 bytes
---- timed_rules_rfd_data 404 objects, 19392 bytes
---- build_vertex 157 objects, 18840 bytes
---- instance 162 objects, 18144 bytes
@ -260,9 +260,9 @@ Total memory consumption was 139495K = 136 MB
---- target_pragma_setting 1 object, 40 bytes
---- loop_over_scope 1 object, 40 bytes
100.0% was used for memory not allocated for objects:
99.9% was used for memory not allocated for objects:
62.3% text stream storage 89094656 bytes in 512549 claims
62.3% text stream storage 89173912 bytes in 512564 claims
3.8% dictionary storage 5497920 bytes in 7767 claims
---- sorting 2624 bytes in 531 claims
5.0% source text 7200000 bytes in 3 claims
@ -270,7 +270,7 @@ Total memory consumption was 139495K = 136 MB
0.1% documentation fragments 262144 bytes in 1 claim
---- linguistic stock array 81920 bytes in 2 claims
---- small word set array 105600 bytes in 22 claims
3.2% inter symbols storage 4572416 bytes in 28261 claims
3.1% inter symbols storage 4572416 bytes in 28261 claims
11.7% inter bytecode storage 16757556 bytes in 15 claims
4.3% inter links storage 6222976 bytes in 11 claims
0.1% inter tree location list storage 191232 bytes in 32 claims
@ -280,5 +280,5 @@ Total memory consumption was 139495K = 136 MB
---- code generation workspace for objects 3528 bytes in 19 claims
0.1% emitter array storage 281184 bytes in 2006 claims
-136.-6% was overhead - -195220160 bytes = -190644K = -186 MB
-136.-5% was overhead - -195220208 bytes = -190644K = -186 MB

View file

@ -1,6 +1,6 @@
100.0% in inform7 run
67.9% in compilation to Inter
46.2% in //Sequence::undertake_queued_tasks//
67.7% in compilation to Inter
46.0% in //Sequence::undertake_queued_tasks//
4.4% in //MajorNodes::pre_pass//
3.7% in //MajorNodes::pass_1//
1.8% in //ImperativeDefinitions::assess_all//
@ -14,15 +14,15 @@
0.3% in //Sequence::undertake_queued_tasks//
0.3% in //World::stage_V//
4.5% not specifically accounted for
27.6% in running Inter pipeline
27.3% in running Inter pipeline
8.9% in step 14/15: generate inform6 -> auto.inf
7.0% in step 5/15: load-binary-kits
7.1% in step 5/15: load-binary-kits
5.9% in step 6/15: make-synoptic-module
1.8% in step 9/15: make-identifiers-unique
0.3% in step 12/15: eliminate-redundant-operations
0.3% in step 4/15: compile-splats
0.3% in step 7/15: shorten-wiring
0.3% in step 8/15: detect-indirect-calls
2.3% not specifically accounted for
1.9% not specifically accounted for
4.1% in supervisor
0.4% not specifically accounted for
0.8% not specifically accounted for

View file

@ -399,6 +399,7 @@ div.definition p.defnprototype {
margin: 0;
padding: 0;
text-indent: 0;
font-weight: bold;
}
/* On Registry index pages (such as the Public Library), these are used for
@ -441,3 +442,421 @@ p.registryaddition {
padding-left: 40px;
text-indent: -40px;
}
/* General index for inbuild-generated documents: */
div.generalindex p {
font-size: 16px;
line-height: 20px;
}
div.generalindex td {
font-size: 16px;
line-height: 20px;
}
/* This is used for the horizontal row of link letters from A to Z */
div.generalindex td.letterinrow {
width: 3.846%; /* 3.846 = 1/26 to pretty good accuracy */
height: 30px;
text-align: center;
vertical-align: middle;
background-color: #e0e0e0;
}
div.generalindex td.letterinrow: hover {
background-color: #c0c0c0;
}
/* This is used to hold the "majuscule" A-Z letters left of the alpha index */
div.generalindex td.letterblock {
width: 38px;
text-align: left;
vertical-align: top;
}
/* Which contains links like so: */
div.generalindex a.letterlink:link, div.generalindex a.letterlink:visited {
text-decoration: none;
color: #202020;
font-size: 0.75em;
font-weight: bold;
}
div.generalindex a.letterlink:hover, div.generalindex a.letterlink:active {
text-decoration: none;
color: #D00000;
font-size: 0.75em;
font-weight: bold;
}
/* A single letter of majuscule is held in this tinted box: */
div.generalindex div.majuscule {
width: 30px;
height: 30px;
text-align: center;
vertical-align: middle;
background-color: #808080;
display: table-cell;
}
/* But a wider text (such as used in other index headings) is held in this: */
div.generalindex div.stretchymajuscule {
height: 30px;
text-align: center;
vertical-align: middle;
background-color: #808080;
}
/* Either way, the actual lettering inside uses this: */
div.generalindex span.majusculelettering {
font-size: 0.75em;
color: #FFFFFF;
}
div.generalindex table.fullwidth {
border-collapse: collapse;
width: 100%;
}
div.generalindex table.fullwidth td, div.generalindex table.fullwidth th {
padding: 0;
}
div.generalindex table.fullwidtharch {
border-spacing: 6px;
border-collapse: separate;
width: 100%;
}
div.generalindex table.fullwidtharch td, div.generalindex table.fullwidtharch th {
padding: 0;
}
div.generalindex table.indextable {
border-collapse: collapse;
width: 100%;
margin-top: 8px;
}
div.generalindex p.indexentry {
font-size: 0.8em;
margin-top: 0px;
margin-bottom: 4px;
text-indent: -2em;
padding-left: 2em;
}
div.generalindex a.indexlink {
color: #666;
text-decoration: none;
border-bottom: 1px dotted #666;
}
div.generalindex a.indexseelink {
text-decoration: none;
border-bottom: 1px dotted #666;
}
div.generalindex a.indexlinkalt {
color: #666;
text-decoration: none;
border-bottom: 1px dotted #666;
font-style: italic;
}
div.generalindex span.indexgloss {
font-size: 0.7em;
font-style: italic;
color: #088;
}
div.generalindex span.indexsee {
font-style: italic;
color: #666;
}
div.generalindex span.smoketest {
background-color: #000000;
color: #ffffff;
padding-left: 6px;
padding-right: 6px;
margin-left: 3px;
margin-right: 3px;
}
div.generalindex span.indexstandard {
}
div.generalindex span.indexsource {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexsourcearg {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexsourceargbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexsourcepartbracketed {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexphrase {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexphrasebracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexifphrase {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexifphrasebracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexsayphrase {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexsayphrasebracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexoutphrase {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexoutphrasebracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexassert {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexassertbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexrb {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexrbbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexprop {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexpropbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexpropcat {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexpropcatbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexadj {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexadjbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexrelbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexrelcatbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexrelverb {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexglob {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexglobbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexactvar {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexactvarbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexconst {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexconstbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexaction {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexactionbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexactivity {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexactivitycat {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexdescactivity {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexexample {
font-style: italic;
}
div.generalindex span.indextitle {
font-style: italic;
}
div.generalindex span.indexofsourcebracketed {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indexuseopt {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indextoken {
color: #000080;
font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
font-size: 0.9em;
}
div.generalindex span.indextokenbracketed {
color: #8080ff;
font-family: "Lucida Grande", Geneva, Arial, Tahoma, Verdana, Helvetica, Helv;
font-style: italic;
}
div.generalindex span.indexcommand {
color: #186000;
font-family: Georgia, "Times New Roman", Times, serif;
font-size: 0.9em;
}
div.generalindex span.indextestcmd {
color: #186000;
font-family: Georgia, "Times New Roman", Times, serif;
font-size: 0.9em;
}
div.generalindex span.indexcommandpartbracketed {
color: #186000;
font-family: Georgia, "Times New Roman", Times, serif;
font-size: 0.9em;
}

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "Architecture16Kit",
"version": "10.2.0-beta+6X13"
"version": "10.2.0-beta+6X14"
},
"compatibility": "16-bit",
"kit-details": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "Architecture32Kit",
"version": "10.2.0-beta+6X13"
"version": "10.2.0-beta+6X14"
},
"compatibility": "32-bit",
"kit-details": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "BasicInformKit",
"version": "10.2.0-beta+6X13"
"version": "10.2.0-beta+6X14"
},
"needs": [ {
"need": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "CommandParserKit",
"version": "10.2.0-beta+6X13"
"version": "10.2.0-beta+6X14"
},
"needs": [ {
"need": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "EnglishLanguageKit",
"version": "10.2.0-beta+6X13"
"version": "10.2.0-beta+6X14"
},
"needs": [ {
"need": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "WorldModelKit",
"version": "10.2.0-beta+6X13"
"version": "10.2.0-beta+6X14"
},
"needs": [ {
"need": {