5 Commits

Include renames

Author	SHA1	Message	Date
sebastien	247b124754	Better (?) default left margin	2026-10-12 18:52:05 +02:00
sebastien	9925362352	Allow signaling issues in label verification	2026-10-11 21:05:27 +02:00
sebastien	370f3252ef	Support for post annotation label reassignement.	2026-10-11 19:03:04 +02:00
sebastien	48602c24f1	Recorrection GUI step ; LaTeX issues debugging	2026-10-10 20:40:48 +02:00
sebastien	94ca8b8256	Guide d'utilisateur GUI ; Recoverable statement/Persp Gemini generation	2026-10-05 09:04:01 +02:00