Jacques Carette

Actually IVP shouldn't have final time as part of its data. We could have a "time-bounded" (or perhaps "region-bounded"?) version of IVP that also did that. Specifying an end-point is...

By "time bounded" I mean that one will only ever look at the solution inside that interval. The solution to an ODE is a function, valid at all intermediate times....

This basically means that the way that the text, and in fact the whole introduction section, is constructed is too hard-coded. That was indeed already spotted before, and this is...

This should likely be some kind of structure that lies 'above' `Expr`. But something should could still be put into various larger structures (like theories, models, etc).

I agree, teaching Drasil about ODEs with events is beyond the scope of your work. Personally, I would actually change SWHS back to `OthModel`. This will let you delete `DEModel`....

Yes, the first step is to report back. A list of all the problems would be excellent. It seems that, at some point, things might have changed from Figure to...

You should never edit the tex file - it's generated. Something in the generator is always the real problem. It is really weird that the html has something in it,...

Excellent! This is indeed a rather high-level decision, and I imagine rarely, if ever, properly captured, never mind made changeable, in most software.

@bmaclach Did you ever look at this? Could your design language handle this variability?

Yes, given the repercussions, definitely outside the scope. But nice that we're at the point of realistically discussing it, and that it could be done, given time.