Re: [isabelle] Isabelle's jEdit plugin: some known help documents?
On Wed, 1 Aug 2012, Gottfried Barrow wrote:
More commentary from the cheap seats, but I try to be an Isabelle
evangelist, because any big influx of new users would be beneficial to
what I want to do in the long run.
First, the market is so untapped, at this point any success by any proof
assistant is beneficial to every other proof assistant.
This is in fact the most important observation. In particular one needs
to avoid childish attitudes of "my proof assistant is better than your's".
I usually try to give the people behind the HOL family and Coq some
helpful hints, to improve the packaging and distribution of their systems.
For the core functionality, they know better themselves.
This archive was generated by a fusion of
Pipermail (Mailman edition) and