]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da240cc) | patch
Relational: one file was missing :-)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Mar 2007 11:29:03 +0000 (11:29 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Mar 2007 11:29:03 +0000 (11:29 +0000)
commit295ad18b6a120d8317f0442d329a9d619a8cb53a
tree6fe6ec03f22aa413471beb39c5354705b1dc83b4tree | snapshot
parentda240cc33abae83ca35782dee48b1a9a3a87ff76commit | diff
Relational: one file was missing :-)
Procedural: the cic object preprocessor was not added to svn :-)
helm/software/components/acic_procedural/proceduralPreprocess.ml [new file with mode: 0644] blob
helm/software/components/acic_procedural/proceduralPreprocess.mli [new file with mode: 0644] blob
helm/software/matita/contribs/RELATIONAL/NLE/order.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.