Re: [Lurch] Bug in auto-update for numbered list items as premises

[Carter, N. <NC...@be...>]

You're doing some great, thorough, testing, thanks!  I will go ahead and file this as a bug report in the Trac system myself, since you've already written it out so carefully, I can just cut and paste.

By the way, we are about to release another point release 0.77 this afternoon which will contain a few tiny bug fixes, but not these, since I just found out about them now. :)

On Jan 11, 2013, at 12:17 PM, Nicu Tofan <nic...@gm...>
 wrote:

> Hello!
> 
> I'm following the tutorial and reached : Page 8 of 10 Basic Validation.
> At the end of the page is introduces the auto-update of the reference. However, this is the behaviour that I observe:
> (1) fill in the line numbers
> 1    0<1
> 2    1<2
> 3    1<3
> 4    0<2 by the transitivity rule and lines 1 and 2
> 
> (2) press return after line 1:
> 1    0<1
> 2    abc
> 3    1<2
> 4    1<3
> 5    0<2 by the transitivity rule and lines 1 and 3.
> 
> (3) backspace to delete the line 2:
> 1    0<1
> 2    1<2
> 3    1<3
> 4    0<2 by the transitivity rule and lines 1 and 1.
> 
> Nick
> ------------------------------------------------------------------------------
> Master HTML5, CSS3, ASP.NET, MVC, AJAX, Knockout.js, Web API and
> much more. Get web development skills now with LearnDevNow -
> 350+ hours of step-by-step video tutorials by Microsoft MVPs and experts.
> SALE $99.99 this month only -- learn more at:
> http://p.sf.net/sfu/learnmore_122812_______________________________________________
> Lurch-discuss mailing list
> Lur...@li...
> https://lists.sourceforge.net/lists/listinfo/lurch-discuss