Code

New and improved HOL parser#1333

Code

Merged

mn200 merged 21 commits intoHOL-Theorem-Prover:developHOL-Theorem-Prover/HOL:developfrom digama0:holparserdigama0/HOL:holparserCopy head branch name to clipboardNov 22, 2024

+1,623-414

Commits

Commits on Nov 10, 2024

• New and improved HOL parser

  digama0

  committed
  3231849

• cleanup

  digama0

  committed
  b54197d

• fix

  digama0

  committed
  2a91d0c

• mosml fix

  digama0

  committed
  ce2519c

• update test

  digama0

  committed
  465d3a6

• attempt to fix mosml

  digama0

  committed
  7fa517e

• fix 2

  digama0

  committed
  657a45e

• fix 3

  digama0

  committed
  acecef5

• fix 4

  digama0

  committed
  daf9755

• fix 5

  digama0

  committed
  7ea0f8b

• bugfix

  digama0

  committed
  f2309d2

• tweaks to chunking

  digama0

  committed
  23dce90

• bugfix

  digama0

  committed
  430eebe

• don't remove QFRead from the prelude yet

  digama0

  committed
  03a58d4

Commits on Nov 11, 2024

• bugfix

  digama0

  committed
  c8dd4fe

• Merge branch 'develop' into holparser

  digama0

  committed
  5b303c3

• close quotes terminate comments

  digama0

  committed
  c15d5e5

Commits on Nov 14, 2024

• rename #(FNAME) to #(FILE)

  digama0

  committed
  63a4afc

• Merge branch 'develop' into holparser

  digama0

  committed
  77be130

• tweak positions for bindings

  digama0

  committed
  8abc7c0

• expose some more internals

  digama0

  committed
  568acd0