Re: [isabelle] feature requests on Isabelle/jEdit



On 01/07/16 11:04, Gergely Buday wrote:
> 
> when editing a bibfile, Sidekick shows the bibitem key, which is not very readable if you import it from a database like DBLP.

The same key shows up in a document, as argument to @{cite}
antiquotation, where it is equally unreadable.

The problem is in the database entry.

I routinely put bibtex sources into a readable form, before importing
them into my documents. I also clean up the content.


	Makarius





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