Skip to content

Commit d563e8f

Browse files
Ian TuomiIan Tuomi
authored andcommitted
add <>, +++, <<< and >>>
1 parent 9fed5e5 commit d563e8f

File tree

18 files changed

+30115
-30242
lines changed

18 files changed

+30115
-30242
lines changed

GlyphOrderAndAliasDB

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -978,3 +978,7 @@ greater_hyphen greater_hyphen
978978
equal_equal equal_equal
979979
colon_colon colon_colon
980980
period_period_period period_period_period
981+
greater_greater_greater greater_greater_greater
982+
less_greater less_greater
983+
less_less_less less_less_less
984+
plus_plus_plus plus_plus_plus

Hasklig_relnotes.txt

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
### Release notes
2+
## version 0.3
3+
+ New ligatures: `<<<`, `>>>`, `<>` and `+++`
4+
5+
## version 0.2 Haskl
6+
+ Lengthened `==` and `/=` to match other equals signs
7+
8+
## version 0.1 of Hasklig released
9+
+ Ligatures `<-`, `->`, `=>` `>>`, `<<`, `>>=`, `=<<`, `..`, `...`, `::`, `-<`, `>-`, `-<<`, `>>-`, `++`, `/=` and `==`

Roman/Black/font.pfa

Lines changed: 4520 additions & 4503 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Roman/Bold/font.pfa

Lines changed: 4561 additions & 4544 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Roman/ExtraLight/font.pfa

Lines changed: 4104 additions & 4087 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Roman/Light/font.pfa

Lines changed: 4118 additions & 4101 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Roman/Medium/font.pfa

Lines changed: 4218 additions & 4201 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Roman/Regular/font.pfa

Lines changed: 4221 additions & 4204 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Roman/Semibold/font.pfa

Lines changed: 4328 additions & 4311 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)