Sebastian Ullrich 3ae41cb181 feat: allow use of experimental module system in Init (#7919)		2025-04-22 09:09:27 +00:00
..
Lean	feat: allow async elab tasks to contribute to info trees reported to linters and request handlers (#7457)	2025-03-13 15:09:00 +00:00
Basic.lean	fix: cancellation of synchronous part of previous elaboration (#7882)	2025-04-10 11:43:41 +00:00
Lean.lean	feat: allow use of experimental module system in Init (#7919)	2025-04-22 09:09:27 +00:00
Util.lean	feat: 'unsolved goals' & 'goals accomplished' diagnostics (#7366)	2025-03-07 13:50:56 +00:00