6 Commits

Author	SHA1	Message	Date
mgcaret	8245ce322b	optimizations	2021-07-29 21:07:06 -07:00
mgcaret	66d571ca7d	make dictionary names mixed-case, matching still case-insensitive	2020-11-04 20:37:08 -08:00
mgcaret	0c0674cec3	a few small optimizations	2020-05-02 01:46:16 -07:00
mgcaret	edef1c80b7	fix a very subtle bug in dictionary search	2020-05-01 22:43:30 -07:00
mgcaret	32ec1e9df4	resolve #6; general clean-up	2020-01-04 16:25:41 -08:00
mgcaret	50ae7f1361	initial full commit	2019-07-01 10:33:44 -07:00