add feature to emit logs#1038

StevenClontz wants to merge 1 commit into

mainPreTeXtBook/pretext-cli:mainfrom

StevenClontz/20250723/logsPreTeXtBook/pretext-cli:StevenClontz/20250723/logsCopy head branch name to clipboard