| 2023-01-11 18:12:59 | ericorsio | Added tag '8580' |
| 2023-01-11 18:12:54 | ericorsio | Added links: https://csdb.dk/release/?id=215012, https://csdb.dk/sid/?id=60155 |
| 2023-01-11 17:11:45 | YQN | Set release date to 11 December 2021 |
| 2023-01-11 17:06:56 | YQN | Added link https://www.youtube.com/watch?v=S4cXad-jnYU |
| 2023-01-11 17:06:16 | YQN | Added production 'Formal Axiomatic Theories' |