[isabelle-dev] [release] IsarImplementation

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Fri Jan 21 16:19:09 CET 2011


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>


More information about the isabelle-dev mailing list