e7cb5699 · unsatisfactory treatement of polymorphic datatypes and functions co...

62b24738 · proofs in array_bounds compatible with coq 8.18, example with prime...

fe8ada0c · corrects a typo, change the date

5bfef338 · lots of typos prevented the file from compiling

5072e3cc · a file to help with proof techniques (demo)

31f70f4d · small improvements

248a0cff · adds a reference to programming.v, programming.tex now has slides i...

60e5f700 · examples written while following programming.tex

b1c7da0e · at least express that mster-chile.pdf depends on master-chile.tex

1691230a · explain the need to compile other directories before master_class

c44579d8 · document the contents of directory master_class

0720634b · adds a Makefile as a way to document how all drawings are taken fro...

945e89d2 · silence

84dd21ab · better explanations on how to use basic_course

5319f434 · renaming rule1 and rule2, plus a variety of other improvements

a2629e25 · move the high definition images to an other directory

950fff8c · corrections detected during the course of Oct 19, 2023

e6ef69bf · typos

a8e5a873 · rephrasing concerning extraction