|
|
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 |
|
|
|
d5930d6a43
|
small changes
Build latex and deploy / checkout (push) Failing after 13m19s
|
2023-12-14 00:50:44 +01:00 |
|
|
|
5de0726c3c
|
tutorial 09
Build latex and deploy / checkout (push) Failing after 15m51s
|
2023-12-12 13:31:59 +01:00 |
|
|
|
de4897f59a
|
lecture 17
Build latex and deploy / checkout (push) Failing after 17m17s
|
2023-12-12 12:10:37 +01:00 |
|
|
|
ca0594ea69
|
lecture 16
Build latex and deploy / checkout (push) Failing after 13m6s
|
2023-12-09 18:23:59 +01:00 |
|
|
|
ab088dd877
|
moved definitions
Build latex and deploy / checkout (push) Failing after 12m42s
|
2023-12-09 02:29:22 +01:00 |
|
|
|
e203c901e1
|
lecture 16
Build latex and deploy / checkout (push) Failing after 15m0s
|
2023-12-08 16:57:51 +01:00 |
|
|
|
da2f702604
|
moved definition
Build latex and deploy / checkout (push) Failing after 14m8s
|
2023-12-08 02:02:59 +01:00 |
|
|
|
c59fdb1c9d
|
definition group action
Build latex and deploy / checkout (push) Has been cancelled
|
2023-12-08 02:00:43 +01:00 |
|
|
|
f0bab3e1ac
|
removed junk
|
2023-12-08 01:55:13 +01:00 |
|
|
|
c1316d8bb5
|
fixed typos
Build latex and deploy / checkout (push) Failing after 17m3s
|
2023-12-08 01:42:08 +01:00 |
|
|
|
daec11591d
|
lecture 15
Build latex and deploy / checkout (push) Waiting to run
|
2023-12-08 01:39:20 +01:00 |
|
|
|
0a46981e53
|
countable clopen base
Build latex and deploy / checkout (push) Failing after 14m43s
|
2023-12-06 13:57:23 +01:00 |
|
|
|
8038e2baeb
|
tutorial
Build latex and deploy / checkout (push) Failing after 15m34s
|
2023-12-05 18:13:30 +01:00 |
|
|
|
9a6205136a
|
tutorials
|
2023-12-05 17:14:51 +01:00 |
|
|
|
a738dabfc6
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Build latex and deploy / checkout (push) Failing after 15m4s
|
2023-12-05 17:14:48 +01:00 |
|
|
|
b7671057ca
|
tutorial
|
2023-12-05 17:14:40 +01:00 |
|
|
|
6a9c2956b7
|
small fix
Build latex and deploy / checkout (push) Successful in 2m6s
|
2023-12-05 01:54:56 +01:00 |
|
|
|
0612713145
|
lecture 14
Build latex and deploy / checkout (push) Has been cancelled
|
2023-12-01 11:58:27 +01:00 |
|
|
|
ae3510a631
|
tutorial 06
Build latex and deploy / checkout (push) Failing after 13m55s
|
2023-11-28 13:53:40 +01:00 |
|
|
|
a0c5bbad0b
|
13
Build latex and deploy / checkout (push) Failing after 13m37s
|
2023-11-28 11:58:58 +01:00 |
|
|
|
79aeee590b
|
fixed typo
Build latex and deploy / checkout (push) Failing after 14m8s
|
2023-11-24 19:58:19 +01:00 |
|
|
|
f94d019d5e
|
lecture 12
Build latex and deploy / checkout (push) Failing after 13m28s
|
2023-11-24 11:53:57 +01:00 |
|
|
|
ea31fcac63
|
tutorial
Build latex and deploy / checkout (push) Failing after 12m22s
|
2023-11-21 13:25:01 +01:00 |
|
|
|
eb87abe472
|
lecture 11
Build latex and deploy / checkout (push) Failing after 12m40s
|
2023-11-21 12:34:38 +01:00 |
|
|
|
820f756bd4
|
lecture 10
Build latex and deploy / checkout (push) Failing after 16m37s
|
2023-11-17 15:00:39 +01:00 |
|
|
|
377dc4aebb
|
tutorial 04
Build latex and deploy / checkout (push) Failing after 15m7s
|
2023-11-14 13:22:05 +01:00 |
|
|
|
0d6d392d5d
|
lecture 09
Build latex and deploy / checkout (push) Failing after 13m30s
|
2023-11-14 11:53:30 +01:00 |
|
|
|
bfcb894c89
|
lecture 08
Build latex and deploy / checkout (push) Failing after 12m9s
|
2023-11-13 00:23:51 +01:00 |
|
|
|
d001b56d71
|
lecture 6
Build latex and deploy / checkout (push) Successful in 1m39s
|
2023-11-03 11:55:11 +01:00 |
|
|
|
da66c24763
|
tutorial 03
Build latex and deploy / checkout (push) Successful in 1m43s
|
2023-10-31 20:15:15 +01:00 |
|
|
|
6c3d59bfde
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Build latex and deploy / checkout (push) Successful in 1m38s
|
2023-10-31 11:53:07 +01:00 |
|
|
|
0b659968db
|
lecture 05
|
2023-10-31 11:53:03 +01:00 |
|
|
|
7478dfd30d
|
tutorial 02
|
2023-10-31 10:12:58 +01:00 |
|
|
|
41be223621
|
added CI
Build latex and deploy / checkout (push) Successful in 1m55s
|
2023-10-21 15:02:05 +02:00 |
|
|
|
f838245711
|
Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory
|
2023-10-20 11:53:40 +02:00 |
|
|
|
3bb3c4e75d
|
lecture 4
|
2023-10-20 11:53:35 +02:00 |
|
|
|
b636d722d4
|
Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory
|
2023-10-19 20:18:40 +02:00 |
|
|
|
fa19ca3b6e
|
small change
|
2023-10-19 20:18:32 +02:00 |
|
|
|
1713fec189
|
small changes
|
2023-10-19 17:08:56 +02:00 |
|
|
|
a7c3cd0d3b
|
tutorial 1
|
2023-10-19 16:59:53 +02:00 |
|
|
|
6961c2d5f0
|
lecture 02 fixed proof of 'polish subspace of polish space is G_delta'
|
2023-10-17 18:25:37 +02:00 |
|
|
|
66b7b06200
|
Lecture 03
|
2023-10-17 16:21:02 +02:00 |
|
|
|
00cf1a93e7
|
Lecture 3
|
2023-10-17 13:08:17 +02:00 |
|
|
|
394cc8ddcf
|
Lecture 3
|
2023-10-17 11:56:32 +02:00 |
|
|
|
73eb4f1645
|
set language to english
|
2023-10-14 00:04:27 +02:00 |
|
|
|
8359683da6
|
initial commit
|
2023-10-13 23:54:02 +02:00 |
|
|
|
503e91edfe
|
initial commit
|
2023-10-13 23:33:24 +02:00 |
|
