add a todo

18fc9bcd · François Bobot · 134a8572 · 18fc9bcd
Commit 18fc9bcd authored Feb 28, 2012 by François Bobot
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

TODO TODO +2 -0

No files found.
--- a/TODO
+++ b/TODO
@@ -50,6 +50,8 @@ session
 -------
  - save the output of the prover
  - escape the string in the xml
+  - the filenames in the location inside a session should be relative
+   to the session_dir.

 tools
 -----