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
list.
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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev