Recent Changes 2020-05-15 Fixed errors introduced by malicious RegEx. 2020-05-15 Streamlined CER, CNuvS, FMSe, InfMan (DB, NLP), Mathe 3. 2019-08-15 Initial commit.