Code

Fix typos in docs#1581

Code

Merged

bugarela merged 11 commits intoinformalsystems:maininformalsystems/quint:mainfrom oliveredget:typooliveredget/quint:typoCopy head branch name to clipboardJan 20, 2025

+15-15

Commits

Commits on Dec 28, 2024

• Fix typo

  oliveredget

  committed
  bbfce06

  Copy full SHA for bbfce06

• Fix typo

  oliveredget

  committed
  260decb

  Copy full SHA for 260decb

• Fix typo

  oliveredget

  committed
  1769bd2

  Copy full SHA for 1769bd2

• Fix typo

  oliveredget

  committed
  980ee03

  Copy full SHA for 980ee03

• Fix typo

  oliveredget

  committed
  3fb5eb8

  Copy full SHA for 3fb5eb8

• Fix typo

  oliveredget

  committed
  f871168

  Copy full SHA for f871168

• Fix typo

  oliveredget

  committed
  13a29e4

  Copy full SHA for 13a29e4

• Fix typo

  oliveredget

  committed
  7e3bad0

  Copy full SHA for 7e3bad0

• Fix typo

  oliveredget

  committed
  ab5a8ce

  Copy full SHA for ab5a8ce

• Fix typo

  oliveredget

  committed
  b31af47

  Copy full SHA for b31af47

• Fix typo

  oliveredget

  committed
  94a88e5

  Copy full SHA for 94a88e5