[isabelle] AFP development snapshot available
The Archive of Formal Proofs now makes an automatically generated
development snapshot available, including all new 2006 and 2007
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/
This archive was generated by a fusion of
Pipermail (Mailman edition) and