| Fri, 26 Aug 2022 11:46:53 +0200 | wenzelm | tuned whitespace; | changeset | files |
| 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 |
| Thu, 25 Aug 2022 21:42:21 +0100 | paulson | Removal of a duplicate theory, since that material and more is in the AFP: https://www.isa-afp.org/entries/Bernoulli.html | changeset | files |
| Thu, 25 Aug 2022 23:09:00 +0200 | wenzelm | NEWS; | changeset | files |