Sun, 15 Jan 2023 20:00:44 +0100 | wenzelm | merged | changeset | files |
Sun, 15 Jan 2023 20:00:37 +0100 | wenzelm | more complete Bibtex database; | changeset | files |
Sun, 15 Jan 2023 20:00:22 +0100 | wenzelm | proper theory context for formal citations; | changeset | files |