Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 30, 2025

• Fix numbering

  pthrr

  committed
  103c326

  Copy full SHA for 103c326

• Fix headings

  pthrr

  committed
  c273eb1

  Copy full SHA for c273eb1

Commits on Dec 28, 2025

• Update sources and workflow

  pthrr

  committed
  80e0c15

  Copy full SHA for 80e0c15

Commits on Mar 26, 2019

• Update packaging

  mietek

  committed
  bbedfa8

  Copy full SHA for bbedfa8

• Add QC generated PDF (v1.0)

  mietek

  committed
  6aae167

  Copy full SHA for 6aae167

• Add VFA generated PDF (v1.4)

  mietek

  committed
  7ee09ca

  Copy full SHA for 7ee09ca

• Add PLF generated PDF (v5.7)

  mietek

  committed
  a21a1d5

  Copy full SHA for a21a1d5

• Add LF generated PDF (v5.6)

  mietek

  committed
  5a905a1

  Copy full SHA for 5a905a1

• Add patch adding verbatim marks to QuickChickTool.v

  Show description for d68f9c4
  mietek

  committed
  d68f9c4

  Copy full SHA for d68f9c4

• Add patch removing diacritic from Typeclasses.v

  Show description for 95bc79f
  mietek

  committed
  95bc79f

  Copy full SHA for 95bc79f

• Add Makefile patch

  Show description for 6b5ea6f
  mietek

  committed
  6b5ea6f

  Copy full SHA for 6b5ea6f

• Add QC sources (v1.0)

  mietek

  committed
  884a128

  Copy full SHA for 884a128

• Add VFA sources (v1.4)

  mietek

  committed
  6a1251b

  Copy full SHA for 6a1251b

• Add PLF sources (v5.7)

  mietek

  committed
  05d9729

  Copy full SHA for 05d9729

• Add LF sources (v5.6)

  mietek

  committed
  c1d49bf

  Copy full SHA for c1d49bf

• Remove generated PDF (v4.0)

  mietek

  committed
  3b7f6e3

  Copy full SHA for 3b7f6e3

• Remove sources (v4.0)

  mietek

  committed
  673552d

  Copy full SHA for 673552d

Commits on Jun 17, 2016

• Update packaging

  mietek

  committed
  b20716e

  Copy full SHA for b20716e

• Add generated PDF (v4.0)

  mietek

  committed
  4875ae9

  Copy full SHA for 4875ae9

• Fix syntax error in MoreStlc.v

  Show description for 7cd2e44
  mietek

  committed
  7cd2e44

  Copy full SHA for 7cd2e44

• Work around LaTeX nesting limit

  Show description for fc6d345
  mietek

  committed
  fc6d345

  Copy full SHA for fc6d345

• Generate chapters in the right order

  mietek

  committed
  020df97

  Copy full SHA for 020df97

• Add sources (v4.0)

  mietek

  committed
  2e25025

  Copy full SHA for 2e25025

• Remove generated PDF (v3.2)

  mietek

  committed
  590b94b

  Copy full SHA for 590b94b

• Remove sources (v3.2)

  mietek

  committed
  81a26d2

  Copy full SHA for 81a26d2

Commits on Aug 9, 2015

• Add packaging

  mietek

  committed
  72588a4

  Copy full SHA for 72588a4

• Add generated PDF

  mietek

  committed
  447b228

  Copy full SHA for 447b228

• Generate chapters in the right order

  mietek

  committed
  b587413

  Copy full SHA for b587413

• Initial commit

  mietek

  committed
  2d6c8c5

  Copy full SHA for 2d6c8c5