Fri, 26 Aug 2022 11:41:59 +0200 | wenzelm | more robust: ensure that chapter/session/theory do not contain special notation (like "/" or ".."); | changeset | files |
Fri, 26 Aug 2022 12:43:07 +0100 | paulson | merged | changeset | files |
Thu, 25 Aug 2022 22:18:49 +0100 | paulson | NEWS about Sum_of_Powers | changeset | files |