Re: [isabelle] AFP 2011-1



On 12/10/2011, at 8:08 PM, Gerwin Klein wrote:
> The following entries have new change-history items since the last release:
> 
> [http://afp.sourceforge.net/entries/Presburger-Automata.shtml]
> [http://afp.sourceforge.net/entries/FileRefinement.shtml]
> [http://afp.sourceforge.net/entries/Stream-Fusion.shtml]
> [http://afp.sourceforge.net/entries/Locally-Nameless-Sigma.shtml]

No idea how I managed to mangle that so badly. The entries that actually have new change-history items since the last release are:

[http://afp.sourceforge.net/entries/Collections.shtml]
[http://afp.sourceforge.net/entries/Coinductive.shtml]
[http://afp.sourceforge.net/entries/JinjaThreads.shtml]
[http://afp.sourceforge.net/entries/Marriage.shtml]

Cheers,
Gerwin




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.