makarius at sketis.net
Fri Oct 29 19:42:30 CEST 2010
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.
More information about the isabelle-dev