]> matita.cs.unibo.it Git - helm.git/commit
we begin the commit of the validation procedure
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 10 Nov 2014 16:56:55 +0000 (16:56 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 10 Nov 2014 16:56:55 +0000 (16:56 +0000)
commit52a8357823f16af9b3790178c9eb1b57daa1f199
treebdb8a424cb754550eb4a0f17a25e4c21792bdad4
parent3080bf8226d155d017c5ec5c4e852d952f5b878c
we begin the commit of the validation procedure
(this includes some changes in the xml format of exported entities)
the procedure seems to introduce a delay, so this commit is partial ...
helm/software/helena/.depend.opt
helm/software/helena/src/lib/log.ml
helm/software/helena/src/modules.ml
helm/software/helena/src/xml/xmlCrg.ml
helm/software/helena/src/xml/xmlLibrary.ml
helm/software/helena/src/xml/xmlLibrary.mli