Code

Introduce negated optional tag#38810

Code

Merged

vbraun merged 7 commits intosagemath:developsagemath/sage:developfrom kwankyu:p/introduce-negated-optional-tagkwankyu/sage:p/introduce-negated-optional-tagCopy head branch name to clipboardNov 30, 2024

+171-36

Commits

Commits on Oct 13, 2024

• Introduce negated optional tag

  kwankyu

  committed
  627b9f1

  Copy full SHA for 627b9f1

• Edit optional needs tags explanation

  kwankyu

  committed
  d7db870

  Copy full SHA for d7db870

Commits on Oct 15, 2024

• Add features

  kwankyu

  committed
  7119726

  Copy full SHA for 7119726

Commits on Oct 16, 2024

• Fix modularization regression

  kwankyu

  committed
  0812d9d

  Copy full SHA for 0812d9d

• Delete a spurious empty line

  kwankyu

  committed
  4ca8c0d

  Copy full SHA for 4ca8c0d

Commits on Nov 4, 2024

• Merge branch 'develop' into p/38810/introduce-negated-optional-tag

  kwankyu

  committed
  494aa0a

  Copy full SHA for 494aa0a

Commits on Nov 25, 2024

• Merge branch 'develop' into p/introduce-negated-optional-tag

  kwankyu

  authored
  03ffc18

  Copy full SHA for 03ffc18