[isabelle-dev] Easy And Language Integrated Use

[Suminda Dharmasena]

Hi,

Is it possible to provide a way to use this within Scala IDE and also
integrate where you can have verification within the Scala language itself.

Suminda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140105/80ead208/attachment.html>