Code

Manpage#98

Code

Merged

david-a-wheeler merged 7 commits intometamath:mastermetamath/metamath-exe:masterfrom benjub:manpagebenjub/metamath-exe:manpageCopy head branch name to clipboardSep 19, 2022

+37-32

Commits

Commits on Sep 7, 2022

• manpage: consistent spelling 'database'; consistent double space after period

  benjub

  committed
  b30c096

  Copy full SHA for b30c096

• README.TXT: consistent spelling 'database'

  benjub

  committed
  93f4ffb

  Copy full SHA for 93f4ffb

• add bib words criterion/criteria

  benjub

  committed
  8ce9dba

  Copy full SHA for 8ce9dba

Commits on Sep 12, 2022

• fix typo mmhlpb.c-->mmhlpa.c

  benjub

  committed
  ba94c56

  Copy full SHA for ba94c56

• sort list of keywords alphabetically

  benjub

  committed
  e97c24d

  Copy full SHA for e97c24d

• reorder list of keywords

  benjub

  committed
  e1083de

  Copy full SHA for e1083de

Commits on Sep 16, 2022

• comment indentation

  benjub

  committed
  a64621b

  Copy full SHA for a64621b