Re: [isabelle] Update on I3P



Hi Holger,

  I simply cannot display the raw xsymbol notation until the user
  has selected the Isabelle installation. User's won't accept it.

I would happily accept such a minor limitation. We are used to quite other things. Most users won't even notice, assuming that the Isabelle installation is selected as part of some installation process.

Alex





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