[isabelle-dev] *** Spam *** show "A ==> B"

Makarius makarius at sketis.net
Fri Jul 11 15:41:48 CEST 2014

On Fri, 11 Jul 2014, Askar Safin wrote:

> I think I found a bug in the Isabelle 2013-2 (OS: Debian GNU/Linux 7, 
> Interface: jEdit).
> ...
> So, please fix this issue or say how to workaround it

Just formally and grammatically, this looks off-topic for this mailing 

If you want to discuss anything about official Isabelle releases, e.g. how 
Isar proofs work, you can do that on the isabelle-users mailing list.

> or document it.

There is a lot of documentation, in fact too much of it.  New users and 
old users get routinely swamped by the amount of Isabelle manuals.


More information about the isabelle-dev mailing list