From d4a37b656160537e6607935f1cbaef1ad043d5b0 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 23 May 2003 11:05:03 +0000 Subject: [PATCH] added MONET's Math Obj Manager to conclusions --- helm/papers/calculemus-2003/outline.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/papers/calculemus-2003/outline.txt b/helm/papers/calculemus-2003/outline.txt index 138f3b719..a82334740 100644 --- a/helm/papers/calculemus-2003/outline.txt +++ b/helm/papers/calculemus-2003/outline.txt @@ -55,3 +55,4 @@ - blackboard? - GUI - descrizione monet + - uso di Mathematical Object Manager -- 2.39.2