Diffusion Isabelle cc71f01f9fde

prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
cc71f01f9fde
Actions

Tags

None

Subscribers

None

Description

prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;

Details

Provenance

Authored on

Parents

rISABELLE7541f29492c3: this warning is hardly useful but produces noisy markers in the jedit interface

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE76bb6dd505c0: obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);.Sep 28 2020, 10:26 PM

Changes (10)

Path

Size

src/

Doc/

Datatypes/

document/

How_to_Prove_it/

document/

Implementation/

document/

Isar_Ref/

document/

JEdit/

document/

Locales/

document/

Main/

document/

Nitpick/

document/

Sledgehammer/

document/

System/

document/

rISABELLEcc71f01f9fde

src/Doc/Datatypes/document/root.tex

Loading...

src/Doc/How_to_Prove_it/document/prelude.tex

Loading...

src/Doc/Implementation/document/root.tex

Loading...

src/Doc/Isar_Ref/document/root.tex

Loading...

src/Doc/JEdit/document/root.tex

Loading...

src/Doc/Locales/document/root.tex

Loading...

src/Doc/Main/document/root.tex

Loading...

src/Doc/Nitpick/document/root.tex

Loading...

src/Doc/Sledgehammer/document/root.tex

Loading...

src/Doc/System/document/root.tex

Loading...