1
0
Fork 0
mirror of synced 2024-05-17 11:03:33 +12:00

Tuned fl and fi pairs (closes #795)

This commit is contained in:
Nikita Prokopov 2019-09-02 15:33:38 +03:00
parent 9172f08576
commit 1c2a034e23
2 changed files with 199 additions and 5 deletions

View file

@ -51,6 +51,7 @@ All notable changes to this project will be documented in this file.
- Added Coq logical and ` /\ ` and logical or ` \/ ` ligatures, U+2227 `∧` and U+2228 `` [#738]
- Added SystemVerilog `|->` `|=>` and `<-|` `<=|` for symmetry [#695]
- Added Forces `||-` ligature and U+22A2..U+22AF `⊢ ⊣ ⊥ ⊦ ⊧ ⊨ ⊩ ⊪ ⊫ ⊬ ⊭ ⊮ ⊯` [#709]
- Tuned `fl` and `fi` pairs [#795]
#### 1.207 (April 6, 2019)

File diff suppressed because one or more lines are too long