Re: [isabelle] 0::'a
Am 20/11/2013 16:20, schrieb Makarius:
> On Wed, 20 Nov 2013, Tobias Nipkow wrote:
>>> See also the introductory section of the new Isabelle/jEdit manual:
>>> The subtle differences of Isabelle/ML versus Standard ML,
>>> Isabelle/Scala versus Scala, Isabelle/jEdit versus jEdit need to be
>>> taken into account when discussing any of these PIDE building blocks
>>> in public forums, mailing lists, or even scientific publications.
>> I recommend PRISM to identify offenders.
> This is getting a bit ridiculous.
I am so glad we finally agree :-)
> I have already seen papers related to the Prover IDE efforts, where "jedit" was
> used in a non-sensical way, even more non-sensical then on this thread so far.
> Is this the end of proper science?
This archive was generated by a fusion of
Pipermail (Mailman edition) and