Sebastian Ullrich 5f9dedfe5e chore: slightly more informative trace.Elab.snapshotTree		2024-06-11 10:44:04 +02:00
..
Basic.lean	chore: slightly more informative trace.Elab.snapshotTree	2024-06-11 10:44:04 +02:00
Lean.lean	feat: incrementality for careful command macros such as set_option in theorem, theorem foo.bar, lemma (#4364)	2024-06-05 14:10:38 +00:00