On Mon, 25 Oct 2010, Makarius wrote:
* Significantly improved Isabelle/Isar implementation manual.
Some people have asked for access to the text, without having to build it
from the repository or extract it from the nightly build.
See http://www.lri.fr/~wenzel/unofficial/implementation.pdf which is the
state of Isabelle/364aa76f7e21 at the moment, although that might change
without further notice.
Makarius
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
