------------------------------------------------------------------- Tue Mar 19 15:43:05 UTC 2019 - Tomáš Chvátal - Update to 0.7.0: * Add ability to reduce overloading of add, mul, equals and truthy ------------------------------------------------------------------- Tue Oct 30 09:31:34 UTC 2018 - Jan Engelhardt - Trim history, and hypotheses from description. ------------------------------------------------------------------- Mon Oct 29 14:31:30 UTC 2018 - Todd R - Initial version