[isabelle] AFP development snapshot available



The Archive of Formal Proofs now makes an automatically generated
development snapshot available, including all new 2006 and 2007 
entries. 

All development entries are browsable like their stable counterparts. 
Development entries might not always work, their current status is 
indicated on the entry page. If they do, they should work together 
with the current Isabelle development snapshot. 

The development snapshot is thought as a preview for the next release only, 
i.e. it is explicitly *not* guaranteed that the development entries remain 
stable, archived and citable. Please only refer to the stable version
of entries for that.

AFP development version: http://afp.sf.net/devel.shtml
Isabelle development version: http://isabelle.in.tum.de/devel/

Cheers,
Gerwin





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