Skip to content

Minor refactor of elan-init.ps1 for ContrainedLanguage Mode - #204

Merged
Kha merged 3 commits into
leanprover:masterfrom
davide-pozzoni-uk-gt:master
Jun 19, 2026
Merged

Minor refactor of elan-init.ps1 for ContrainedLanguage Mode#204
Kha merged 3 commits into
leanprover:masterfrom
davide-pozzoni-uk-gt:master

Improve temp path handling in elan-init.ps1

0fb33b8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Linux aarch64
succeeded Jun 19, 2026 in 1m 21s