Commit 92a8e8c4 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

nicer tools box

parent 2c1b45e5
......@@ -20,6 +20,9 @@
(* TODO:
* bug: the file names are stored as relative, so if you restart
from another directory, they are not found
* When DB contains an edited proof, use the file for the run
* when proof attempt is finished and is it the one currently selected,
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment