Joachim Breitner 4288aa71e0 chore: do not set unused Option.Decl.group (#11307) ... This PR removes all code that sets the `Option.Decl.group` field, which is unused and has no clearly documented meaning. The actual removal of the field would be #11305.		2025-11-21 16:44:38 +00:00
..
IR	fix: symbol clashes between packages (#11082)	2025-11-19 02:24:44 +00:00
LCNF	chore: do not set unused Option.Decl.group (#11307)	2025-11-21 16:44:38 +00:00
BorrowedAnnotation.lean	refactor: module-ize Lean (#9330)	2025-07-25 12:02:51 +00:00
ClosedTermCache.lean	refactor: module-ize Lean (#9330)	2025-07-25 12:02:51 +00:00
CSimpAttr.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00
ExportAttr.lean	chore: rename Substring to Substring.Raw (#11154)	2025-11-16 09:30:04 +00:00
ExternAttr.lean	refactor: do not use String.Iterator (#11127)	2025-11-11 11:46:58 +00:00
FFI.lean	refactor: use String.split instead of String.splitOn or String.splitToList (#11250)	2025-11-19 09:35:19 +00:00
ImplementedByAttr.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00
InitAttr.lean	fix: symbol clashes between packages (#11082)	2025-11-19 02:24:44 +00:00
InlineAttrs.lean	chore: even more module system fixes and refinements from Mathlib porting (#10726)	2025-10-15 14:59:09 +00:00
IR.lean	perf: disable reuse when a value's last use is an owned argument (#10017)	2025-08-21 00:41:56 +00:00
LCNF.lean	feat: zero cost BaseIO (#10625)	2025-10-22 10:55:12 +02:00
Main.lean	refactor: module-ize Lean (#9330)	2025-07-25 12:02:51 +00:00
MetaAttr.lean	chore: make declMetaExt persistent for shake (#11201)	2025-11-16 20:11:56 +00:00
ModPkgExt.lean	fix: symbol clashes between packages (#11082)	2025-11-19 02:24:44 +00:00
NameMangling.lean	fix: symbol clashes between packages (#11082)	2025-11-19 02:24:44 +00:00
NeverExtractAttr.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00
NoncomputableAttr.lean	refactor: module-ize Lean (#9330)	2025-07-25 12:02:51 +00:00
Old.lean	refactor: use String.Slice in String.take and variants (#11180)	2025-11-18 16:13:48 +00:00
Options.lean	chore: do not set unused Option.Decl.group (#11307)	2025-11-21 16:44:38 +00:00
Specialize.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00