[isabelle-dev] Isabelle_10-Sep-2013

[Florian Haftmann]

>> 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.

	Florian

-- 

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: 261 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130911/7ba2d41c/attachment.sig>