Mario Carneiro 85119ba9d1 chore: move Std.* data structures to Lean.*		2022-09-26 05:46:04 -07:00
..
Basic.lean	chore: move Bootstrap.Dynamic -> Init.Dynamic	2022-09-02 04:36:54 -07:00
Diff.lean	feat: goal-diffs (#1610)	2022-09-24 11:46:11 +02:00
InteractiveCode.lean	feat: goal-diffs (#1610)	2022-09-24 11:46:11 +02:00
InteractiveDiagnostic.lean	chore: move Std.* data structures to Lean.*	2022-09-26 05:46:04 -07:00
InteractiveGoal.lean	feat: goal-diffs (#1610)	2022-09-24 11:46:11 +02:00
TaggedText.lean	chore: use new comment syntax	2022-09-14 08:26:17 -07:00
UserWidget.lean	chore: move Std.* data structures to Lean.*	2022-09-26 05:46:04 -07:00