Diffusion Isabelle 36389d25d33e

rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04…
36389d25d33e
Actions

Tags

None

Subscribers

None

Description

rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04 beta;

Details

Provenance

Authored on

Parents

rISABELLEf7b9179b5029: A bit of new material about type class "infinite", from Eval_FO

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE36389d25d33e: rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04….Wed, Apr 10, 11:44 AM

Changes (2)

Path

Size

src/

Doc/

Nitpick/

document/

Sledgehammer/

document/

rISABELLE36389d25d33e

src/Doc/Nitpick/document/root.tex

Loading...

src/Doc/Sledgehammer/document/root.tex

Loading...