This is a single entry in the log. All entries have unique mnemo "tags", in order to prevent duplicate events from happening.
Repository: objectionary/phino
Tag: 114-f84542df/submit
Time: 2025-09-08T11:23:36+00:00
Details: 114-f84542df submitted in issue #356: "Implement LaTeX conversion for rules. Convert Rule data structure to LaTeX inference rule format...." at src/LaTeX.hs; 9-13 /BUILD
--
BUILD