theodore-norvell
commented
6 years ago - In animator added a call to clearObjectDrawingInfo so that there is no state preserved in global variables between checkpoints.
- Fixed a serious bug in backtracking.
- Added some dumping routines in backtracking and (to a lesser extent) the vms.
- Reordered the execution buttons.