Releases: jonaprieto/lean-termcolor
Releases · jonaprieto/lean-termcolor
Release list
v1.1.7
Full Changelog: v1.1.6...v1.1.7
v1.1.6
Full Changelog: v1.1.5...v1.1.6
v1.1.4
v1.1.4
This tag was signed with the committer’s verified signature.
What's Changed
- docs: sync related project links by @jonaprieto in #20
- chore(release): set version 1.1.4 by @jonaprieto in #21
Full Changelog: v1.1.3...v1.1.4
Contributors
jonaprieto
Assets 2
v1.1.3
v1.1.3
This tag was signed with the committer’s verified signature.
What's Changed
- build: adopt Lean v4.33.0 by @jonaprieto in #17
- test: enforce foundation API gates by @jonaprieto in #18
- build: adopt precommit-lean v0.1.6 by @jonaprieto in #19
Full Changelog: v1.1.1...v1.1.3
Contributors
jonaprieto
Assets 2
v1.1.0
5a08bda
This commit was signed with the committer’s verified signature.
Enable OSC-8 hyperlinks on TTY output, clarify the NO_COLOR documentation, and move to the Lean v4.32.2 toolchain.
v1.0.5
ac9a102
This commit was signed with the committer’s verified signature.
Refresh README visual gallery with polished styled-text and terminal-target examples.
v1.0.4 — OSC-8 hyperlinks
d0d9a6d
This commit was signed with the committer’s verified signature.
Add opt-in OSC-8 hyperlink support to TermColor.Text and RenderTarget, with plain-target suppression and safe URI control-character filtering.
v1.0.0
b88c24b
This commit was signed with the committer’s verified signature.
Full Changelog: https://github.com/jonaprieto/lean-termcolor/commits/v1.0.0