Code

moogle 2.0 + leandocsearch#548

Code

Open

jesse-michael-han wants to merge 13 commits intoleanprover:masterleanprover/vscode-lean4:masterfrom morph-labs:moogle2morph-labs/vscode-lean4-fork:moogle2Copy head branch name to clipboard

+337-77

Commits

Commits on Nov 16, 2024

• moogle 2.0 + leandocsearch

  Show description for 7f697e8
  

  pranavnt

  authored and

  jesse-michael-han

  committed
  7f697e8

  Copy full SHA for 7f697e8

• textbook links

  pranavnt

  committed
  a57634f

  Copy full SHA for a57634f

• 2.0

  pranavnt

  committed
  0d6ff1a

  Copy full SHA for 0d6ff1a

• moogle 2.0 + leandocsearch

  Show description for b9fbe2e
  

  pranavnt

  authored and

  jesse-michael-han

  committed
  b9fbe2e

  Copy full SHA for b9fbe2e

Commits on Dec 1, 2024

• Fix frontend bugs

  pranavnt

  committed
  fd6ccc8

  Copy full SHA for fd6ccc8

• Frontend fixes; need to do backend

  pranavnt

  committed
  29452d1

  Copy full SHA for 29452d1

Commits on Dec 2, 2024

• Completed client side updates

  pranavnt

  committed
  5f7b579

  Copy full SHA for 5f7b579

• parsing code blocks

  pranavnt

  committed
  701ce83

  Copy full SHA for 701ce83

• Further cleanup

  pranavnt

  committed
  dd88859

  Copy full SHA for dd88859

• updated index html

  pranavnt

  committed
  456dd6d

  Copy full SHA for 456dd6d

• merge

  pranavnt

  committed
  b298b6a

  Copy full SHA for b298b6a

• revert changes to loogleview

  pranavnt

  committed
  c0d9fc4

  Copy full SHA for c0d9fc4

• Updated index.html

  pranavnt

  committed
  a4b13ec

  Copy full SHA for a4b13ec