1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN"
3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
5 <html xmlns=
"http://www.w3.org/1999/xhtml" xml:
lang=
"en" lang=
"en">
7 <title>Superfluous square brackets with [..] action
</title>
8 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8" />
9 <link rel=
"stylesheet" href=
"style.css" type=
"text/css" />
16 <h1>Superfluous square brackets with [..] action
</h1>
17 <div class=
"backptr"><a href=
"index.html">« cadabra project page
</a></div>
20 <div class=
"description">
21 <p>This produces extra square brackets:
</p><p>@distribute[a*(b+c)];
</p><p>Wrong flag gets copied somewhere.
</p>
29 <td class=
"attrname">Id:
</td>
30 <td class=
"attrval"><span class=
"id">e21ce60551528df4aaf0b0226544cd0a2f278e96
</span></td>
34 <td class=
"attrname">Type:
</td>
35 <td class=
"attrval">bugfix
</td>
39 <td class=
"attrname">Creation time:
</td>
40 <td class=
"attrval">2010-
02-
08 21:
17 GMT
</td>
44 <td class=
"attrname">Creator:
</td>
45 <td class=
"attrval"><span class=
"person">Kasper Peeters
<kasper.peeters@...
></span></td>
51 <td class=
"attrname">Release:
</td>
54 <a href=
"unassigned.html">unassigned
</a>
60 <td class=
"attrname">Component:
</td>
61 <td class=
"attrval"><a href=
"component-cadabra.html">cadabra
</a></td>
65 <td class=
"attrname">Status:
</td>
84 <td class=
"date">2010-
02-
08 21:
17 GMT
</td>
85 <td class=
"person">Kasper Peeters
<kasper.peeters@...
></td>
86 <td class=
"message">created
</td>
95 <div class=
"footer">Generated by
<a href=
"http://ditz.rubyforge.org/">ditz
</a>.
</div>