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:
> 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 261 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev