Mathlib Changelog
v4
Changelog
About
Github
Def
Cache.IO.getSrcDir
Modification history
2025-04-03 01:55
Cache/IO.lean
refactor(Cache): use module name as key instead of unresolved file path (#21834) …
Modified
Cache.IO.getSrcDir
View on Github →
2025-03-31 00:17
Cache/IO.lean
feat(Cache): extend argument-parsing to allow module names and file names (#21822) …
Modified
Cache.IO.getSrcDir
View on Github →
2025-02-24 14:14
Cache/IO.lean
refactor(Cache): refactor getPackageDir to not use manually provided package directories (#21817)
Added
Cache.IO.getSrcDir
View on Github →