Skip to content

Revert "Avoid including full Isabelle to the TLAPM release." (#292) - #302

Closed
lemmy wants to merge 1 commit into
mainfrom
mku-revert292
Closed

Revert "Avoid including full Isabelle to the TLAPM release." (#292)#302
lemmy wants to merge 1 commit into
mainfrom
mku-revert292

Commits

  1. Commits on Oct 6, 2026