Update documentation with Source Serif 4 font

vpisarev / ficus

The programming language Ficus

Apache License 2.0

72 stars 9 forks source link

Update documentation with Source Serif 4 font #24

Closed dmitrys99 closed 1 week ago

dmitrys99 commented 7 months ago

This PR updates PDF file with current release of Source Serif Pro font, which was renamed to Source Serif and available as Source Serif 4 in TeXLive.

Also, table of contents is added as well.

vpisarev commented 1 week ago

thank you!