Re: [isabelle] Feature suggestions: More useful output



On Fri, 23 Nov 2012, Joachim Breitner wrote:

Actually, it seems that implementing this feature would be a very local task that is suitable for first-time Isabelle contributors.

The implementation work for anything is usually an order of magnitude more than first anticipated, and an order of magitude less than the cumulative efforts for maintaining the result in the long run.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.