Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
do_trace
Modification history
2019-04-16 21:38
test/local_cache.lean
fix(test/local_cache): make the trace text explicit and quiet (#941) …
Added
do_trace
View on Github →