Diffusion Isabelle bdc8cd6f5e6e

updated screenshot;
bdc8cd6f5e6e
Actions

Tags

None

Subscribers

None

Description

updated screenshot;

Details

Provenance

Authored on

Parents

rISABELLE5f49f1149c1c: clarified reports before errors: support completion of bibtex entries in…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbdc8cd6f5e6e: updated screenshot;.Jan 18 2021, 3:22 PM

Changes (1)

Path

Size

src/

Doc/

JEdit/

document/

cite-completion.png

rISABELLEbdc8cd6f5e6e

src/Doc/JEdit/document/cite-completion.png

Loading...