On Fri, 22 Nov 2013, Christian Sternagel wrote:
honestly I do not remember why I dropped it, but I do remember that it was no accident ... I guess I was convinced that it would not do any harm
Just formally, the existing sources are always right. This means when doing a change to override the status-quo, one needs to make a proof against it (mentally). The result of the reasoning is then phrased in this typical changelog prose, to say in 2-3 words why something was done at that point of time.
This approach greatly helps in the software archeology process -- we have more than 20 years of recorded history already. Actually, the Isabelle sources are much more youthful in that respect than many other projects of fewer years.
Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev