Mathlib Changelog
v4
Changelog
About
Github
Def
IO.Process.runCmdWithInput'
Modification history
2024-01-05 01:23
Mathlib/Lean/IO/Process.lean
chore: bump std4 dependency (#9426) …
Deleted
IO.Process.runCmdWithInput'
View on Github →
2023-07-10 05:24
Mathlib/Lean/IO/Process.lean
feat: `lake exe graph`, as replacement for `leanproject import-graph` (#5513) …
Added
IO.Process.runCmdWithInput'
View on Github →