]> matita.cs.unibo.it Git - helm.git/commitdiff
added MONET's Math Obj Manager to conclusions
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 May 2003 11:05:03 +0000 (11:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 May 2003 11:05:03 +0000 (11:05 +0000)
helm/papers/calculemus-2003/outline.txt

index 138f3b719e393179591952321b0cdffe0c2538f6..a82334740fc192d53509b65896b8e3e2811c7492 100644 (file)
@@ -55,3 +55,4 @@
     - blackboard?
     - GUI
     - descrizione monet
+    - uso di Mathematical Object Manager