From 1a5a280874f7f5ad537941847383dde8db837746 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 7 Jul 2005 16:49:46 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 5e92dfe9b..866272a80 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -2,6 +2,7 @@ (**********************************************************************) TODO +- Dare errore significativo al posto di NotWellTypedInterpreation - Implementare menu edit: find/replace/cut/copy/undo/etc. - Bug vari nella generazione dei principi di eliminazione: 1. generazione nomi (usa ref incrementata localmente) -- 2.39.2