Diffusion Isabelle 6c542f2aab85

basic support for update_cite_commands;
6c542f2aab85
Actions

Tags

None

Subscribers

None

Description

basic support for update_cite_commands;

Details

Provenance

Authored on

Parents

rISABELLEd1776c5ddc93: more operations: use proper constants;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6c542f2aab85: basic support for update_cite_commands;.Jan 14 2023, 8:15 PM

Changes (3)

Path

Size

etc/

src/

Pure/

Thy/

Tools/

rISABELLE6c542f2aab85

etc/options

Loading...

src/Pure/Thy/bibtex.scala

Loading...

src/Pure/Tools/update.scala

Loading...