elan icon indicating copy to clipboard operation
elan copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

`elan script` command

Open Kha opened this issue 6 years ago • 0 comments

We should copy stack's script command to extend isolation to standalone files and gists.

Kha avatar Apr 11 '18 14:04 Kha