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 :-)

Tobias

> 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.