[isabelle-dev] *** Spam *** show "A ==> B"
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