Code

user manual#171

Code

Draft

gares wants to merge 5 commits intomasterLPCIC/elpi:masterfrom docLPCIC/elpi:docCopy head branch name to clipboard

+389-233

Commits

Commits on Dec 30, 2022

• doc: improve and document pre processing engine

  gares

  committed
  db4716e

  Copy full SHA for db4716e

Commits on Jan 2, 2023

• -test -> -main

  gares

  committed
  8dbd905

  Copy full SHA for 8dbd905

• more work

  gares

  committed
  9968081

  Copy full SHA for 9968081

Commits on Jan 3, 2023

• fix buffering issue

  gares

  committed
  873fd93

  Copy full SHA for 873fd93

• more work

  gares

  committed
  a3c2c56

  Copy full SHA for a3c2c56