# Change Log

## [0.1.0] - 2025-09-15

### Added
- Initial release of P7 Syntax extension
- Grammar production syntax highlighting
- Typing rule syntax highlighting with premise/conclusion structure
- Type expression support including:
  - Function types with Unicode arrows (→)
  - Union and intersection types (∨, ∧)
  - Pointer and array types
  - Context types and lookups
  - Type variables with Unicode subscripts
- Context management highlighting
- Comment support
- Support for .auf and .p7 file extensions
