Leonardo de Moura fb27537b8e fix: appUnexpander name resolution ... fixes issue reported at https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Scoping.20for.20delaborator.3F		2021-10-09 08:29:26 -07:00
..
Delaborator	fix: appUnexpander name resolution	2021-10-09 08:29:26 -07:00
Basic.lean	chore: throwError! => throwError, throwErrorAt! => throwErrorAt	2021-03-11 11:59:45 -08:00
Delaborator.lean	refactor: pp.analyze needs pp options	2021-08-03 09:13:18 +02:00
Formatter.lean	fix: space before 'at' in location	2021-09-15 18:41:26 +02:00
Parenthesizer.lean	fix: space before 'at' in location	2021-09-15 18:41:26 +02:00