Re: [isabelle] Isabelle style guide - Part 2

On 30.05.2015 03:03, Gerwin Klein wrote:
> As promised, part 2 of the Isabelle style guide:
> Feedback for the first part was great, keep it coming!

For the context section, maybe mention bundles? You may need to open a
context with the individualized setup multiple times.

  -- Lars

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