[isabelle-dev] NEWS / CONTRIBUTORS

Makarius makarius at sketis.net
Sun Sep 11 22:01:50 CEST 2011


My impression is that NEWS and CONTRIBUTORS for the coming release is 
still somewhat incomplete.

NEWS is not just for bad news -- infamous INCOMPATIBILITY entries -- but 
for any "user-relevant changes".  If things are not user-relevant then 
what is the point of doing them in the first place?


 	Makarius


More information about the isabelle-dev mailing list