Skip to content

Latest commit

 

History

History
38 lines (23 loc) · 1.21 KB

README.md

File metadata and controls

38 lines (23 loc) · 1.21 KB

sf

Mirror of the Software Foundations series of books. Includes generated PDFs.

Usage

To regenerate the PDFs, ensure Coq, QuickChick, and LaTeX are installed, then:

$ make

Notes

The Makefiles are patched during the build process, so that chapters are generated in the right order, and the LaTeX nesting limit is not reached.

Similarly, the Typeclasses and QuickChickTool chapters of the QuickChick book are patched, so that a diacritic does not confuse LaTeX, and code listings appear in the output as intended.

About

Packaged by Miëtek Bak.