X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Fcompiler%2Fpreast_tree.ma;h=aa11418dcdb4e973ae9a7a767ac8837869600df9;hb=f38fd769279794d0ca73c8945eac30e8b42e59be;hp=27fbbb72cabe33b9cbfa74e0d299e95939132838;hpb=11f0f9739cdec05a1058e3492968ecead0be48f0;p=helm.git diff --git a/helm/software/matita/contribs/ng_assembly/compiler/preast_tree.ma b/helm/software/matita/contribs/ng_assembly/compiler/preast_tree.ma index 27fbbb72c..aa11418dc 100755 --- a/helm/software/matita/contribs/ng_assembly/compiler/preast_tree.ma +++ b/helm/software/matita/contribs/ng_assembly/compiler/preast_tree.ma @@ -16,7 +16,7 @@ (* Progetto FreeScale *) (* *) (* Sviluppato da: Ing. Cosimo Oliboni, oliboni@cs.unibo.it *) -(* Ultima modifica: 05/08/2009 *) +(* Sviluppo: 2008-2010 *) (* *) (* ********************************************************************** *)