-
MARCHE Claude authored
- most important improvement : the explanation, used as first part of the shape was computed twice ! (at least) - several improvements in the implementation, avoid using Format in particular (done also in checksum computations) - possible further improvements: do not compute shapes if checksums are OK (they must be the same as in previous session) do not compute goal checksums if theory checksum is OK (they must be the same as in previous session)
ae071502