omitted sections in the syllabus/gotto/TOC yellowing

[kohlhase]

I find myself in the situation that this semester is shorter than the last (and I get more questions that slow me down). So I have to omit subsections in my AI-1 course, and I would like to document that in the TOC yellowing (and possibly in the syllabus (ahead of lecture time), so that students can work/plan with that.

I could delete the section from the source and migrate that, but that would be very tedious and would create maintainance problems (dangling references, ...) in this and the next semester (undeleting the material). So I like the proposed omission mechanism much better.

Concretely I would like to have an interface (just like the section selection interface in the gottos; In fact I think we can reuse that directly) that allows me to mark a section (I think a whole subsection will be enough for me) as omitted. This should have two consequences.

• The subsection title in the TOC should get a different color (maybe a light red) and the generated text (covered on ??-??-???) should be replaced with omitted in WS25/26.
• In the syllabus there should be a list of Omitted sections and the one indicated should be added there.

BTW, this would also solve most of #129. To give me all of #129 I would like is to extend the omissions above to allow temporary and final omissions. To get a discontiguous gotto (when I jump over a section in class - e.g. to adapt to lecture borders) I would mark it as temporarily omitted and then take back the omission when I cover it. We may or may not set let the "take back temporary omission" action set the date correctly in the "covered on ??-??-????" text (this would be cool, but is not a deal-breaker).

In this sense, I now see the "omitted subsection" feature as a better conceptualization / UI for the functionality wanted in #129.