Re: [isabelle] Isabelle and Vim



Am Freitag, den 05.04.2019, 16:42 +0200 schrieb Makarius:
> On 05/04/2019 16:11, Wolfgang Jeltsch wrote:
>
> > Before I started using Vim, I also didn’t care so much about editing
> > features. Now that I’ve realized how efficient your editing can be
> > with Vim, it can get quite annoying for me not to have such
> > features. The broad acceptance of more “mainstream” editors may have
> > to do with the fact that many people never got into advanced editing
> > so much and thus don’t know what they miss. Even many Vim users have
> > an editing style that stays way behind what is possible with Vim.
>
> That is all very alien to the Isabelle/PIDE approach (and of other
> high-end ideas). Ultimately there is a static type error here, talking
> about quite different things.

Efficient editing and good semantic IDE support are different things,
but they are not contradictory but in fact complement each other.
Unfortunately we seem to have only tools these days that are good in at
most one of those things.

All the best,
Wolfgang




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