Code

Spellcheck and small fixes#165

Code

Merged

NikolajBjorner merged 5 commits intomicrosoft:mainmicrosoft/z3guide:mainfrom turibe:small-fixesturibe/z3guide:small-fixesCopy head branch name to clipboardJan 13, 2024

+107-79

Commits

Commits on Jan 12, 2024

• Spellcheck and small fixes to docs-smtlib

  turibe

  committed
  00db746

  Copy full SHA for 00db746

• Spellcheck for docs-programming files

  turibe

  committed
  c2bc2b6

  Copy full SHA for c2bc2b6

• Remove yarn.lock

  turibe

  committed
  9cb1e72

  Copy full SHA for 9cb1e72

• Add original yarn.lock

  turibe

  committed
  ba46474

  Copy full SHA for ba46474

• A few more small updates

  turibe

  committed
  2fe3732

  Copy full SHA for 2fe3732