Re: [isabelle] AFP entries with the new imports system



On 01/10/17 15:17, Sebastien Gouezel wrote:
> 
> Is there a pointer to
> up-to-date documentation regarding this?

There are some brief hints in the NEWS file: search for "imports" in the
section for Isabelle2017.

Moreover, the "system" manual has some general explanations as part of
the "isabelle imports" tool. See the diff here:
http://isabelle.in.tum.de/repos/isabelle/diff/41b64e53b6a1/src/Doc/System/Sessions.thy


	Makarius




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