11 Jul, 2025

1 commit

• d9c18d083   version correct to chapter 7, terms unification... Browse Code »
  dsotofor

  2025-07-11 16:18:31 +0200  

23 Jun, 2025

1 commit

• 8b3d8d42c   version correct to chapter 5 and corrections to do in chapter 6 Browse Code »
  dsotofor

  2025-06-23 20:00:19 +0200  

14 Mar, 2025

1 commit

• 8d47f4ca2   another version Browse Code »
  dsotofor

  2025-03-14 13:15:37 +0100