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:


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