[isabelle] citation autocompletion



If you start typing

  @{cite "DBLP

Isabelle/jEdit does not show any possible autocompletion.

However, if you type it with closing quoting sign and curly brace:

  @{cite "DBLP"}

then the system will show all the possibilites.

I did not find this in the Isabelle/jEdit manual. If it indeed does not
contain it, it might be worth adding it as it was not obvious.

Now the sysem shows the entries in the order of the .bib file -- would it
be better to show them in alphabetic order?

- Gergely



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