<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
<font face="Courier New, Courier, monospace"><span
style="font-size: 10pt;">One simple, nevertheless very useful feature
of PLT is highlighting the parentheses, and not only parentheses but
also everything in between. It is much better. <br>
</span><br>
<span style="font-size: 10pt;">(==>/inner (in: (f
1926: a)</span><span
style="font-size: 10pt; font-family: "Courier New";"><br>
(g 1952: a))<br>
<span
style="background: silver none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(ariadnes-thread
(</span><span
style="background: silver none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
(list<br>
(1. 1958: a)<br>
(2. 1959: a)) <br>
(list<br>
(1. 1953: (& (~ a) a))<br>
(2. 1957: a))))</span><br>
(cond (in:
(gf-var? f))<br>
(cond (in: (gf-var? g))<br>
(cond/out: #t))<br>
(cond/out: #t))<br>
(==>/inner/out: #t))<o:p></o:p></span>
<br>
<br>
<span style="font-size: 10pt;"><o:p>However, can I propose that you
consider something like this:<br>
</o:p></span><br>
<span style="font-size: 10pt;">(==>/inner (in: (f
1926: a)</span><span
style="font-size: 10pt; font-family: "Courier New";"><br>
(g 1952: a))<br>
<span
style="background: silver none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(ariadnes-thread
</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: lime none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(list</span><span
style="background: lime none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: red none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(1.
1958: a)</span><span
style="background: lime none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: fuchsia none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(2.
1959: a)</span><span
style="background: lime none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">)</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">
</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: aqua none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(list</span><span
style="background: aqua none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: red none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(1.
1953: (&
(~ a) a))</span><span
style="background: aqua none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;"><br>
</span><span
style="background: fuchsia none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">(2.
1957: a)</span><span
style="background: aqua none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">)</span><span
style="background: yellow none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">)</span><span
style="background: silver none repeat scroll 0% 50%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;">)</span><br>
(cond (in:
(gf-var? f))<br>
(cond (in: (gf-var? g))<br>
(cond/out: #t))<br>
(cond/out: #t))<br>
(==>/inner/out: #t))<o:p></o:p></span><br>
<br>
It could be easier to find parentheses on the wrong place. There is no
need
that users chose all these colours, any choice compatible with text
colour is OK.<br>
<br>
Thank you,<br>
Kazimir Majorinc<br>
<span style="font-size: 10pt; font-family: "Courier New";"><o:p></o:p></span></font>
</body>
</html>