Re: [isabelle] 2014-RC1 issues
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: Re: [isabelle] 2014-RC1 issues
- From: Lars Noschinski <noschinl at in.tum.de>
- Date: Fri, 01 Aug 2014 12:36:06 +0200
- In-reply-to: <1406708816.2398.53.camel@lapbroy33>
- References: <1406708816.2398.53.camel@lapbroy33>
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Icedove/24.6.0
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