alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

WIP Log messages module

Open Stevendeo opened this issue 3 years ago • 0 comments

As a first step to organize debug messages in Alt-Ergo, here is a first handling log messages.

Stevendeo avatar Mar 29 '21 10:03 Stevendeo