Code

Evolve learn tabs#60

Code

Merged

mattam82 merged 4 commits intostagingcoq/rocq-prover.org:stagingfrom evolve-learncoq/rocq-prover.org:evolve-learnCopy head branch name to clipboardJan 20, 2025

+209-188

Commits

Commits on Jan 20, 2025

• Add details about editor setup directly on the install page.

  

  Zimmi48

  authored and

  mattam82

  committed
  83d0ecf

  Copy full SHA for 83d0ecf

• Remove editor setup tutorial now that this information is on the install page.

  

  Zimmi48

  authored and

  mattam82

  committed
  deceadd

  Copy full SHA for deceadd

• Remove See More links.

  

  Zimmi48

  authored and

  mattam82

  committed
  81f8734

  Copy full SHA for 81f8734

• Evolve learn tabs.

  Show description for be73624
  

  Zimmi48

  authored and

  mattam82

  committed
  be73624

  Copy full SHA for be73624