- Introduction changed.

[helm.git] / helm / papers / calculemus-2003 / outline.txt

diff --git a/helm/papers/calculemus-2003/outline.txt b/helm/papers/calculemus-2003/outline.txt
index d349353faf95703ee23680f8fc2ddf4dcc766b8f..138f3b719e393179591952321b0cdffe0c2538f6 100644 (file)
--- a/helm/papers/calculemus-2003/outline.txt
+++ b/helm/papers/calculemus-2003/outline.txt
@@ -1,4 +1,5 @@
-1) Introduzione
+1) Zack, CSC
+ Introduzione
   - web services
   - monet
   - svariati WS per CAS e TP
@@ -7,7 +8,8 @@
     - application centric no client/server
     ==>> proof assistants come WS client
   - omega ants
-2) Architettura
+2) Zack
+  Architettura
   - figura 7.1 mia tesi
   - attori (client, broker, tutor)
     - ruoli e funzionalita' di ognuno di essi (breve)
@@ -29,9 +31,11 @@
     - nessuna assunzione sulla correttezza del suggerimento
     - interfaccia verso il broker (start/stop musing)
     - thread (?)
-4) Sample session
+4) CSC
+   Sample session
   - screen shot
-5) Tutor implementati
+5) CSC
+    Tutor implementati
   - stupidi
     - (1-1) con le tattiche del proof assistant
     - generazione automatica