|
|
8913d34435
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
|
2024-02-01 18:28:01 +01:00 |
|
|
|
53577d9b57
|
tutorial 14
Build latex and deploy / checkout (push) Failing after 19m38s
|
2024-01-30 18:50:21 +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
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 |
|
|
|
8f86b71d92
|
lecture 25
Build latex and deploy / checkout (push) Failing after 15m19s
|
2024-01-26 11:58:57 +01:00 |
|
|
|
ef3b65edbd
|
some fix for some problem
Build latex and deploy / checkout (push) Failing after 16m47s
|
2024-01-25 20:25:21 +01:00 |
|
|
|
d22cc2f282
|
14
Build latex and deploy / checkout (push) Waiting to run
|
2024-01-25 20:18:46 +01:00 |
|
|
|
c03a62f638
|
gist for lecture 13
Build latex and deploy / checkout (push) Failing after 18m9s
|
2024-01-25 14:01:05 +01:00 |
|
|
|
67a851748e
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
|
2024-01-25 12:38:55 +01:00 |
|
|
|
0f4328f0d1
|
small changes
|
2024-01-25 12:38:52 +01:00 |
|
|
|
f7f9d7d638
|
some changes
Build latex and deploy / checkout (push) Failing after 15m10s
|
2024-01-24 23:13:56 +01:00 |
|
|
|
e59e97ca03
|
fix
Build latex and deploy / checkout (push) Failing after 15m26s
|
2024-01-24 16:06:42 +01:00 |
|
|
|
acb56df1c2
|
gist 12
Build latex and deploy / checkout (push) Failing after 16m52s
|
2024-01-24 15:35:14 +01:00 |
|
|
|
3917993d93
|
some small changes
Build latex and deploy / checkout (push) Failing after 15m14s
|
2024-01-24 00:13:59 +01:00 |
|
|
|
0cceab0af9
|
some small changes
Build latex and deploy / checkout (push) Failing after 16m28s
|
2024-01-23 22:07:45 +01:00 |
|
|
|
68a7e9d428
|
fixed typo
Build latex and deploy / checkout (push) Failing after 1m4s
|
2024-01-23 21:55:41 +01:00 |
|
|
|
c986475c77
|
gist for lectures 1-4
Build latex and deploy / checkout (push) Failing after 1m4s
|
2024-01-23 21:52:45 +01:00 |
|
|
|
0a14244eb3
|
gist intro
Build latex and deploy / checkout (push) Failing after 17m58s
|
2024-01-23 20:56:14 +01:00 |
|
|
|
09658bbcb5
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Build latex and deploy / checkout (push) Failing after 17m41s
|
2024-01-23 14:29:32 +01:00 |
|
|
|
4d3e3c2a49
|
tutorial 13
|
2024-01-23 14:29:27 +01:00 |
|
|
|
8f800b4403
|
Homework
Build latex and deploy / checkout (push) Failing after 16m56s
|
2024-01-23 10:57:14 +01:00 |
|
|
|
6777bf60ee
|
lecture 24
Build latex and deploy / checkout (push) Has been cancelled
|
2024-01-23 10:56:16 +01:00 |
|
|
|
5beffa0067
|
test gist
Build latex and deploy / checkout (push) Failing after 19m16s
|
2024-01-22 23:15:32 +01:00 |
|
|
|
415d12cf6a
|
gist test
Build latex and deploy / checkout (push) Successful in 5m6s
|
2024-01-22 17:37:13 +01:00 |
|
|
|
a04a4468b0
|
lecture 23
Build latex and deploy / checkout (push) Failing after 17m38s
|
2024-01-19 11:56:29 +01:00 |
|
|
|
4b9bbd2ef0
|
lecture 23
Build latex and deploy / checkout (push) Has been cancelled
|
2024-01-19 11:53:11 +01:00 |
|
|
|
206b61941e
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Build latex and deploy / checkout (push) Failing after 16m1s
|
2024-01-18 17:17:33 +01:00 |
|
|
|
14cc41cea5
|
some small changes
|
2024-01-18 17:17:27 +01:00 |
|
|
|
56f36dd553
|
automatic commit jrpie-PC
Build latex and deploy / checkout (push) Failing after 13m19s
|
2024-01-17 01:15:13 +01:00 |
|
|
|
5dc9e52fc5
|
sheet 11
Build latex and deploy / checkout (push) Failing after 12m50s
|
2024-01-17 00:00:40 +01:00 |
|
|
|
2cf18169c2
|
sheet 11
Build latex and deploy / checkout (push) Has been cancelled
|
2024-01-16 23:59:47 +01:00 |
|
|
|
f074e8841b
|
tutorial 12
Build latex and deploy / checkout (push) Failing after 15m22s
|
2024-01-16 23:14:56 +01:00 |
|
|
|
b0a943abb1
|
fixed typo
Build latex and deploy / checkout (push) Failing after 16m28s
|
2024-01-16 12:07:34 +01:00 |
|
|
|
11cdecd1da
|
22
Build latex and deploy / checkout (push) Waiting to run
|
2024-01-16 12:04:17 +01:00 |
|
|
|
957c9d9712
|
lecture 21
Build latex and deploy / checkout (push) Has been cancelled
|
2024-01-15 23:27:08 +01:00 |
|
|
|
82f44e36e8
|
FIXED IMPORTANT TYPO! & small changes
|
2024-01-13 23:42:59 +01:00 |
|
|
|
fc4f57a8b0
|
small changes
Build latex and deploy / checkout (push) Failing after 15m6s
|
2024-01-12 01:44:05 +01:00 |
|
|
|
72025f8ea8
|
clopenization
Build latex and deploy / checkout (push) Waiting to run
|
2024-01-12 01:31:12 +01:00 |
|
|
|
ebf7add005
|
some changes
Build latex and deploy / checkout (push) Failing after 16m26s
|
2024-01-11 23:57:43 +01:00 |
|
|
|
e962b1a314
|
thank you, Mirko!
Build latex and deploy / checkout (push) Failing after 13m20s
|
2024-01-09 23:03:24 +01:00 |
|
|
|
cf5a26ec93
|
lecture 20
|
2024-01-09 22:49:22 +01:00 |
|
|
|
e7a325bac8
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
|
2024-01-09 20:24:24 +01:00 |
|
|
|
62fcb59f94
|
tutorial 10
|
2024-01-09 20:23:57 +01:00 |
|
|
|
324dddda04
|
Sheet 9, exercise 4
Build latex and deploy / checkout (push) Failing after 13m48s
|
2024-01-06 19:04:51 +01:00 |
|
|
|
8ff3cadebd
|
small fix
Build latex and deploy / checkout (push) Failing after 15m3s
|
2024-01-05 17:43:25 +01:00 |
|
|
|
99ca39e52c
|
lecture 18, 19
Build latex and deploy / checkout (push) Failing after 16m57s
|
2024-01-04 19:26:34 +01:00 |
|
|
|
0fb9ea8ffb
|
exercise 1.4b
|
2024-01-04 14:59:44 +01:00 |
|
|
|
c3948b12ec
|
tutorial 10
Build latex and deploy / checkout (push) Successful in 2m33s
|
2023-12-19 17:39:37 +01:00 |
|
|
|
aa7f3de504
|
lecture 10
Build latex and deploy / checkout (push) Failing after 50s
|
2023-12-19 13:37:02 +01:00 |
|
