Tags

Tags give the ability to mark specific points in history as being important

0.13.14

00479d40 · Updated bib · Sep 15, 2025

Release: Chapter 13, Update 14
0.13.13

6cdcddc8 · Added first names to references · Dec 02, 2024

Release: Chapter 13, Update chapter 13
0.13.12

b6184cf2 · Use zero memory theta consistently · Nov 21, 2024

Release: Chapter 13, Update chapter 12
0.13.11

27115775 · Updated chapter 11 · Nov 18, 2024

Release: Chapter 13, Update chapter 11
0.13.10

5b557207 · Small fixe in chapter 10 · Nov 12, 2024

Release: Chapter 13, Update chapter 10
0.13.9

430efb2a · Fixed reference · Nov 04, 2024

Release: Chapter 13, Update 9
0.13.8

a7dc3c40 · Typeset exercises for chapter 8 · Oct 29, 2024

Release: Chapter 13, Update 8
0.13.7

d4eb559e · Small corrections in chapter 8 · Oct 28, 2024

Release: Chapter 13, Update 7
0.13.6

26295a58 · Changed title · Oct 21, 2024

Release: Chapter 13, Update 6
0.13.5

31922525 · Reference to Kleene · Oct 14, 2024

Release: Chapter 13, Update 5
0.13.4

e1688bbb · Moved assignment 5 · Oct 08, 2024

Release: Chapter 13, Update 4
0.13.3

c78d85a8 · Fixed inconsistencies and added another example · Sep 24, 2024

Release: Chapter 13, Update 2
0.13.2

61f0afa2 · Fixed some more typesetting · Sep 20, 2024

Release: Chapter 13, Update 2
0.13.1

40ebf243 · Moved assignment 3 · Sep 17, 2024

Release: Chapter 13, Update 1
0.13.0

e4759272 · Another product example · Dec 05, 2023

Release: Chapter 13
0.12.1

0f7fe939 · Outline chapter 13 · Nov 28, 2023

Release: Chapter 12, Update 1
0.12.0

3989c67f · Include copy of aux file in assignments to enable references: · Nov 28, 2023

Release: Chapter 12
0.11.2

92125a87 · Fixed some typos · Nov 22, 2023

Release: Chapter 11, Update 2
0.11.1

994226bc · Small fixes and improvements on CH 11 · Nov 21, 2023

Release: Chapter 11, Update 1
0.11.0

d1480153 · Assignments · Nov 20, 2023

Release: Chapter 11

Prev
1
2
Next