Code

Website updates#5

Code

Merged

wmdietl merged 8 commits intoeisop:mastereisop/eisop.github.io:masterfrom lucedes27:masterlucedes27/eisop.github.io:masterCopy head branch name to clipboardJul 7, 2024

+13

Commits

Commits on May 14, 2023

• Website updates

  Show description for ee57a34
  lucedes27

  committed
  ee57a34

  Copy full SHA for ee57a34

Commits on May 17, 2023

• Merge branch 'master' into master

  wmdietl

  authored
  7410e95

  Copy full SHA for 7410e95

Commits on May 24, 2023

• Rename cf/manual/manual.pdf to cf/manual/checker-framework-manual.pdf

  lucedes27

  committed
  ea5a951

  Copy full SHA for ea5a951

• Site generator improvements

  Show description for 6906143
  lucedes27

  committed
  6906143

  Copy full SHA for 6906143

Commits on Jun 26, 2023

• Merge branch 'master' into master

  wmdietl

  authored
  722ec3e

  Copy full SHA for 722ec3e

• Undo copy to gh-pages action

  wmdietl

  committed
  9efd1c4

  Copy full SHA for 9efd1c4

Commits on Jan 4, 2024

• Merge branch 'master' of github.com:eisop/eisop.github.io into lucedes27/master

  wmdietl

  committed
  573996f

  Copy full SHA for 573996f

Commits on Jun 26, 2024

• Merge branch 'master' into master

  wmdietl

  authored
  afaae9f

  Copy full SHA for afaae9f