[isabelle-dev] Some experiences with MicroJava, Jinja, JinjaThreads

attachment was scrubbed... Name: florian.haftmann.vcf Type: text/x-vcard Size: 654 bytes Desc: not available Url : https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080728/dc943c22/attachment.vcf -- next part -- A non-text attachment was scrubbed

[isabelle-dev] Some experiences with MicroJava, Jinja, JinjaThreads

-- next part -- A non-text attachment was scrubbed... Name: florian.haftmann.vcf Type: text/x-vcard Size: 654 bytes Desc: not available Url : https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080728/49235e69/attachment.vcf -- next part