From 52af7765998e63d8a697eb50ff912ce76c081da4 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 26 Sep 2005 16:59:16 +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 535b3f475..e9aeca8b8 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -15,6 +15,7 @@ TODO TATTICHE + - ARGOMENTI IMPLICIT: li vogliamo? come? come disabilitarli localmente? - in generale: invece di spiegare gli errori nel momento in cui si sollevano le eccezioni, farlo quando vengono presentate all'utente. Motivo: il calcolo del messaggio di errore puo' essere estremamente costoso (e' gia' successo!) -- 2.39.2