Re: [Axiom-developer] Consistency (was Lazy Evaluation)

[Martin Rubey]

Bob McElrath writes:

 > I would personally mark output blocks when it is known that they need to be
 > re-evaluated.  

I think I like this idea.

 > An option could turn on forced re-evaluation.  Personally, I would not turn
 > that on...but students working on relatively simple worksheets would
 > probably like it.  Also I think each output block should keep timing
 > information.  The kernel could intelligently decide not to re-evaluate
 > something that took 10 minutes last time, but go ahead and re-evaluate
 > things that took 10 ms last time.

Well, that's ok too, but I'd turn it off...

Martin