Belleve Invis 3d0917a496 Fix horn connection on O-horn with tone marks (#414).		2020-01-27 20:28:11 -08:00
..
3.0.0-alpha.1.md	Add automated change file generation	2020-01-13 18:26:37 -08:00
3.0.0-alpha.2.md	Add automated change file generation	2020-01-13 18:26:37 -08:00
3.0.0-alpha.3.md	Add automated change file generation	2020-01-13 18:26:37 -08:00
3.0.0-alpha.4.md	Add automated change file generation	2020-01-13 18:26:37 -08:00
3.0.0-alpha.5.md	Update release note image path	2020-01-18 14:48:31 -08:00
3.0.0-beta.1.md	Symbols: Further Agda high-frequency symbol support	2020-01-22 21:50:34 -08:00
3.0.0-beta.2.md	Fix horn connection on O-horn with tone marks (#414).	2020-01-27 20:28:11 -08:00