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?
>     Makarius

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