]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ee45a5) | 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)
commita2f9236b189b39bb5e7d864991cae29c9f9cb67f
treed2d8b1de2302faefbb220333951126c3ef43e259tree | snapshot
parent4ee45a5645feb616089f64ba8902b3acfc72f728commit | diff
Relational: one file was missing :-)
Procedural: the cic object preprocessor was not added to svn :-)
components/acic_procedural/proceduralPreprocess.ml [new file with mode: 0644] blob
components/acic_procedural/proceduralPreprocess.mli [new file with mode: 0644] blob
matita/contribs/RELATIONAL/NLE/order.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.