X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fdeliverables%2Frequirement-analysis%2Fd1b.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fdeliverables%2Frequirement-analysis%2Fd1b.xml;h=57e90cc906a578913984eee2c1abdb2d3eaaf43d;hb=bc69803e3577bd386047aaf0588998462e885505;hp=35e26820bcda840d8a6554cd2196843222b0e0e9;hpb=1cb52c8c09b441053ff6e9af90f717fc0040a79e;p=helm.git diff --git a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml index 35e26820b..57e90cc90 100644 --- a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml +++ b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml @@ -4,4 +4,9 @@ Structure and Meta-Structure of Mathematical Documents. + + + + + Month 6