v4.1

copilot

• Version bump (4.1). (#561)
• Update contribution guidelines. (#476)
• Update README with missing publications. (#544)
• Make the what4-propositional example's comments match results. (#535)
• Add example describing how to implement updateField. (#525)
• Standardize changelog format. (#550)
• Add installation instructions for Fedora 40 and up. (#542)

copilot-core

• Version bump (4.1). (#561)
• Add Haddocks for updateField. (#525)
• Standardize changelog format. (#550)
• Deprecate Copilot.Core.Type.UType.uTypeType. (#484)

copilot-c99

• Version bump (4.1). (#561)
• Standardize changelog format. (#550)

copilot-interpreter

• Version bump (4.1). (#561)

copilot-language

• Version bump (4.1). (#561)
• Reject duplicate externs in properties and theorems. (#536)
• Standardize changelog format. (#550)

copilot-libraries

• Version bump (4.1). (#561)
• Standardize changelog format. (#550)

copilot-prettyprinter

• Version bump (4.1). (#561)

copilot-theorem

• Version bump (4.1). (#561)
• Standardize changelog format. (#550)

Full Changelog: v4.0...v4.1