16 Jul
2004
16 Jul
'04
4:11 p.m.
David Abrahams wrote:
"Fredrik Blomqvist" <fredrik_blomqvist@home.se> writes:
David Abrahams wrote: [snip]
Suggestions:
a. in citation symbols, leave out all spaces. Otherwise it tends to wrap like this:
[Maddock-Cleary 00] [Maddock 01] [Siek-Lumsdaine 01] [Siek-Lee- Lumsdaine 02]
Yeah, I've noticed this.. I basically followed suit based on the previous entries though. But I agree and am willing to make the change. I hope we're not missing some rationale Beman or someone else had for that format though(?). I assume we should change the tags from "Name_03" to "Name03" format also then?
Yeah. And remove the hyphens between names.
Fixed in CVS now. // Fredrik