[isabelle] citation autocompletion
If you start typing
Isabelle/jEdit does not show any possible autocompletion.
However, if you type it with closing quoting sign and curly brace:
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and