[isabelle-dev] NEWS

[Makarius]

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