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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and