[isabelle-dev] [release] IsarImplementation

[Florian Haftmann]

By chance I discovered that the Isar Implementation Manual in the
release candidate is outdated and does not build from source.

My personal situation does not allow me to correct this personally, but
it should be easily accomplished.

All the best,
	Florian

-- 

Home:
http://www.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110121/c46cd1a2/attachment.asc>