Commit graph

16 commits

Author SHA1 Message Date
82f0dfd4de
fixed important typo
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m5s
2024-02-07 16:04:28 +01:00
e887f46a5d
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m51s
2024-02-07 02:05:20 +01:00
59d595f9ef
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m13s
2024-02-05 23:36:57 +01:00
6c2a76d838
improved lecture 17
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m19s
2024-02-05 20:30:13 +01:00
c9212aefdd
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m42s
2024-02-05 02:14:32 +01:00
dfd9be7925
reference to sheet 11
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m14s
2024-02-04 13:38:53 +01:00
24ed36d0a7
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m54s
2024-02-04 01:13:14 +01:00
6670dfbf6f
some changes
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-02-04 00:40:13 +01:00
8c1cdc3587
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 2024-01-30 17:56:20 +01:00
d17e25f4d0
lecture 26
All checks were successful
Build latex and deploy / checkout (push) Successful in 5m9s
2024-01-30 11:55:30 +01:00
de8e41de83
fixed typo 2024-01-29 19:19:13 +01:00
11cdecd1da
22
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-01-16 12:04:17 +01:00
8ff3cadebd
small fix
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m3s
2024-01-05 17:43:25 +01:00
99ca39e52c
lecture 18, 19
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m57s
2024-01-04 19:26:34 +01:00
5de0726c3c
tutorial 09
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m51s
2023-12-12 13:31:59 +01:00
de4897f59a
lecture 17
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m17s
2023-12-12 12:10:37 +01:00