On Thursday 17 October 2002 4:11 pm, Andre Poenitz wrote: > On Thu, Oct 17, 2002 at 03:12:43PM +0100, Angus Leeming wrote: > > Thanks for the feedback :-) > > Ok. Looks really good.
Then I'll commit it as it cannot break anything and makes navigation a lot cleaner. Lars? Ok? Unless you can tell me a way of generating the latex string as $ \displaystyle ... $ in the first place rather than generating \[ ... \] and then changing the delimiters? Angus
