TODO updated

tamarin-prover · May 21, 2020 · d94f67f · d94f67f
1 parent 816704f
commit d94f67f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/TODO.md b/TODO.md
@@ -14,3 +14,4 @@
 - [x] measure time by default when making command line proof
 - [ ] add multiple annotation support for lemmas
 - [x] add context for extension keybindings
+- [ ] add automatic detection for diff theories