Lolly: A user-friendly C++ library extracted from TeXmacsgithub.com/XmacsLabs1 pointamichail3 years ago