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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
