[isabelle-dev] NEWS

Makarius 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 mailing list