Re: [isabelle] Isabelle and FreeBSD ports?



On Oct  1 at 14:21 -1000, Tim Newsham wrote:
> Is this a deficiency of the FreeBSD port of Isabelle? Am I doing something 
> wrong?

It turns out that there was just a misunderstanding about when the
Isabelle menu appears, i.e. not before opening a .thy buffer.

Tim (maintainer of FreeBSD port)

Attachment: pgp7q9eEXi6hJ.pgp
Description: PGP signature



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