From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 23 May 2003 11:05:03 +0000 (+0000)
Subject: added MONET's Math Obj Manager to conclusions
X-Git-Tag: submitted~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=d4a37b656160537e6607935f1cbaef1ad043d5b0;p=helm.git

added MONET's Math Obj Manager to conclusions
---

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