l4v icon indicating copy to clipboard operation
l4v copied to clipboard
verified publisher icon seL4

use mlton from Isabelle distribution

Open lsf37 opened this issue 8 months ago • 0 comments

Simplify installation and use the mlton included in the Isabelle distribution.

Needs to be merged after Isabelle2025 (#882), because before that the included mlton is too old to support Arm platforms.

lsf37 avatar May 05 '25 23:05 lsf37