All pull requests

Pull requests

• Update maintext-FS-2.html

  #78·hardroadcrush opened Apr 2, 2026·

  ·
  2

• Update sidenote-all.html

  #77·hardroadcrush opened Apr 2, 2026·

  ·

• Update sidenote-format-fact.html

  #76·hardroadcrush opened Apr 2, 2026·

  ·

• Update sidenote-logic-ops.html

  #75·hardroadcrush opened Apr 2, 2026·

  ·

• Update sidenote-levels-of-understanding.html

  #74·hardroadcrush opened Apr 2, 2026·

  ·

• Update sidenote-underconstraint.html

  #73·hardroadcrush opened Mar 31, 2026·

  ·

• Update sidenote-acyclic-explanation.html

  #72·hardroadcrush opened Mar 31, 2026·

  ·
  2

• Update sidenote-format-arrow.html

  #71·hardroadcrush opened Mar 31, 2026·

  ·

• Update sidenote-quantifiers.html

  #70·hardroadcrush opened Mar 31, 2026·

  ·
  4

• Update sidenote-multiplicity.html

  #69·hardroadcrush opened Mar 31, 2026·

  ·

• Update maintext-FS-0.html

  #68·hardroadcrush opened Mar 31, 2026·

  ·

• Update currentmodel-FS-1.html

  #67·hardroadcrush opened Mar 31, 2026·

  ·

• Bump rexml from 3.2.8 to 3.3.9

  dependencies
  #63·dependabot[bot] opened Oct 28, 2024Bot·

  ·