Update changelog up to git commit 8b52d238.

https://github.com/tlaplus/tlaplus/commit/8b52d238eb9f17df98dd795dbb589d9fba4a5822

[Doc]

general/docs/changelogs/ch1_7_1.md

@@ -3,27 +3,25 @@ The high level changelog is available at http://research.microsoft.com/en-us/um/
 
 ### Additional _noteworthy_ changes
 
-#### TLC
+#### Tools
 
 ##### Bugfix
-
-##### Feature
+* TLC shows no error *trace* for violations of `TLC!Assert`, ... (regression in 1.7.0) https://github.com/tlaplus/tlaplus/issues/461
+* NoClassDefError when running TLC on Java 1.8. https://github.com/tlaplus/tlaplus/issues/462
+* Dot visualization (graphviz) fails due to invalid character ! when spec uses instantiation https://github.com/tlaplus/tlaplus/issues/452
+* Simulation mode ignores ASSUMPTIONS. https://github.com/tlaplus/tlaplus/issues/496
+* Back to state missing for lasso error trace found by simulation https://github.com/tlaplus/tlaplus/issues/497
+* AtNode does not show up in (dot) graph output of semantic explorer 52f3b01
+* Replace custom implementation of (heap) sort in TeX with java.utils.Arrays#sort https://github.com/tlaplus/tlaplus/issues/539
+End support for liveness checking and multiple workers in DFID mode because both features are unreliable https://github.com/tlaplus/tlaplus/issues/548 https://github.com/tlaplus/tlaplus/issues/544
 
 #### Toolbox
 
-##### Preferences
-
-##### Spec Editor
-
-##### Model Editor
-
-##### Spec Explorer
-
-##### Trace Explorer
-
-### Contributors
-
-We are grateful for contributions to this release from: TBD.
+##### Bugfix
+* Multiline trace expressions fail to parse in Toolbox. defe0c74915b1c27c6af2fb55c8163f3574c8918
+* Re-worked PlusCal/TLA+ divergence warning (please manually remove [1.7.0 markers](https://github.com/tlaplus/tlaplus/releases/tag/v1.7.0)). f1cf514c3b334b0968a5ac7fdf14d3e93905b14c e434e139adebf73ed8f9470117031f1ad4b749df 7c61d1a70f03fe4e54142f59487af90745386b74
+* Upgrade Eclipse foundation to its 2020-06 release for better HiDPI support. https://github.com/tlaplus/tlaplus/issues/472
+* Toolbox intermittently shows no error trace on an invariant violation https://github.com/tlaplus/tlaplus/issues/538
 
 
 ### Checksums