Code

doc: Documentations in pages#34

Code

Merged

lenianiva merged 14 commits intomainstanford-centaur/PyPantograph:mainfrom doc/mainstanford-centaur/PyPantograph:doc/mainCopy head branch name to clipboardOct 21, 2024

+965-59

Commits

Commits on Oct 18, 2024

• fix: Install jupyter book dependency

  lenianiva

  committed
  9a8d908

  Copy full SHA for 9a8d908

• Merge branch 'main' into doc/main

  lenianiva

  committed
  c22d4a8

  Copy full SHA for c22d4a8

• fix: Docs branch name

  lenianiva

  committed
  9fe5a55

  Copy full SHA for 9fe5a55

• doc: Stub on setup and drafting

  lenianiva

  committed
  39b9e07

  Copy full SHA for 39b9e07

• fix: Doc building in poetry

  lenianiva

  committed
  dd6efc8

  Copy full SHA for dd6efc8

• fix: Install elan in pipeline

  lenianiva

  committed
  5379b0a

  Copy full SHA for 5379b0a

• chore: Fix build task names and check lake

  lenianiva

  committed
  92edb0d

  Copy full SHA for 92edb0d

• fix: Install Lean toolchain

  lenianiva

  committed
  0fef9e2

  Copy full SHA for 0fef9e2

• fix: Move elan to next step

  lenianiva

  committed
  1c017e3

  Copy full SHA for 1c017e3

• fix: Checkout submodules

  lenianiva

  committed
  1b05419

  Copy full SHA for 1b05419

• fix: Remove lake version check

  lenianiva

  committed
  1f3784d

  Copy full SHA for 1f3784d

Commits on Oct 20, 2024

• doc: autodocs for expr and data

  lenianiva

  committed
  75221cc

  Copy full SHA for 75221cc

Commits on Oct 21, 2024

• doc: Add comprehensive documentation

  Show description for 7a2278c
  lenianiva

  committed
  7a2278c

  Copy full SHA for 7a2278c

• fix: Disable notebook execution

  lenianiva

  committed
  817d708

  Copy full SHA for 817d708