Age | Commit message (Expand) | Author |
---|---|---|
2021-12-09 | Add MSO to automaton citation | Marcin Chrzanowski |
2021-11-24 | Add Amarilli paper to bibliography | Marcin Chrzanowski |
2021-11-05 | Add BojaĆczyk citation | Marcin Chrzanowski |
2021-10-14 | Add references | Marcin Chrzanowski |
2021-08-09 | Remove URLs from citations | Marcin Chrzanowski |
2021-08-09 | Add bibliography entries | Marcin Chrzanowski |
2021-08-07 | Add bibliography generation with biber | Marcin Chrzanowski |