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