From 0760b5b53def0e470cbd52adaa61cf998f1f0249 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 8 Feb 2014 09:23:56 -0800 Subject: [PATCH] doc(todo): update todo list --- doc/todo.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/todo.md b/doc/todo.md index d9e509d5d0..68f7bd1af2 100644 --- a/doc/todo.md +++ b/doc/todo.md @@ -15,5 +15,5 @@ To Do List - Module for reading [OpenTheory](http://www.gilith.com/research/opentheory/) proofs. - Re-implement apply-tactic. - Improve performance of `is_convertible` and `is_definitionally_equal` predicates. -- Create notation sets. We are currently all notation in a "single bag". +- Create notation sets. We are currently puting all notation decls in a "single bag". - Improve macro support, and allow users to provide arbitrary parser extensions using Lua.