[isabelle-dev] Isabelle_10-Sep-2013

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Wed Sep 11 19:02:29 CEST 2013

>> I just downloaded the compiled binary for Linux and wanted to share my
>> experience. It seems there are some issues with braces. My thy files
>> work fine with the release, however, in the AFP Collections entry, I
>> had to make the following changes: […]
> you might consider the download »the« tip of the AFP repository:
> http://sourceforge.net/p/afp/code/ci/tip/log/
> The AFP is much more inert and less technically involved than the
> Isabelle system proper, so in this case it is preferable to be hooked up
> to a volatile changeset rather than doing a lot of ad-hoc adjustion.

An aside: The more AFP entries are used as proper libraries, the more we
need to think how release processes need to interact etc.



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 261 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130911/7ba2d41c/attachment.sig>

More information about the isabelle-dev mailing list