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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
