Re: [isabelle] jEdit: cursor movement and goal display



On May 23 at 16:41 +0900, Christian Sternagel wrote:
> On 05/23/2012 03:23 PM, Timothy Bourke wrote:
> >2. I had to manually add shortcuts for "-->" and "/\", but I noticed
> >    that "and" at least works for the latter. Is this expected
> >    behaviour? Are these new shortcuts recommended over the old ones?
>
> What exactly do you mean by "shortcuts". You can get most of the
> logical symbols by just typing their ASCII approximation. As soon as
> the approximation fits a symbol a popup will show up where you can
> choose (maybe between several different symbols). E.g.,
> After typing "-->" I have a popup containing just ⟶, and after
> typing /\ I get ∧. For some symbols there are also convenient
> "word"-abbreviations, like "forall" for ∀ etc.

Sorry, I meant "abbreviations". For --> and /\, it's possible that I
mixed something up.
 
> What do you mean by "and" works for the latter. The word "and"
> should not expand to the symbol "∧".

It does for me! (and also "or").

Tim.

Attachment: signature.asc
Description: Digital signature



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