Re: [isabelle] 2014-RC1 issues



A type error in a ML_file disables ctrl+click and hovering for type
annotations. Errors and warnings are still present. This behaviour does
not occur in a ML block.

(Don't know whether this is a regression).




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