From 1cb3c349084a061903306eef0c2079c54496418c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 6 Apr 2017 18:11:35 +0200
Subject: [PATCH] TODO.
---
TODO | 2 --
1 file changed, 2 deletions(-)
diff --git a/TODO b/TODO
index 5c455f7b5..4261145d2 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,5 @@
* Document the recent additions (CHANGES + doc).
- menhirLib: new functions
- loop_handle_undo, shifts, acceptable
find_default_reduction
pop, top, equal, pop_many, get
force_reduction
@@ -10,7 +9,6 @@
current_state_number
menhirLib: possibly incompatible change of type 'a env
MenhirLib.Printers: incompatible type change of print_stack
- deprecated streams, [stack], MenhirLib.General.
MenhirLib.ErrorReports: new module
- Send CompCert pull request.
--
GitLab