On Sun, Jul 5, 2009 at 4:05 PM, Graham Chiu <[email protected]> wrote:
> > My guess was that something internal was screwed with Leo because it > was not tangling correctly. A bug recently fixed may have been the cause of the problem, or at least of the confusion. Prior to the fix, Leo may have become confused about where to write the result. Luckily I have not seen this again so far... Thanks for this feedback. My guess is that @root is, in fact, working correctly now. The relevant unit tests seem to confirm that all as well. Edward --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en -~----------~----~----~----~------~----~------~--~---
