]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db10f4a) | patch
Procedural: refactoring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 12:20:41 +0000 (12:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Apr 2007 12:20:41 +0000 (12:20 +0000)
commit94cf8189445df1c0ae1d406cd92c4c3ad866fc7e
tree1140f8cb2c22c8f4bd7ebf5a60df584b859f15e0tree | snapshot
parentdb10f4aee3571b87d24c3f52a61721311c384dd2commit | diff
Procedural: refactoring
components/acic_procedural/.depend diff | blob | history
components/acic_procedural/.depend.opt diff | blob | history
components/acic_procedural/Makefile diff | blob | history
components/acic_procedural/proceduralConversion.ml diff | blob | history
components/acic_procedural/proceduralOptimizer.ml [new file with mode: 0644] blob
components/acic_procedural/proceduralOptimizer.mli [new file with mode: 0644] blob
components/acic_procedural/proceduralPreprocess.ml [deleted file] blob | history
components/acic_procedural/proceduralPreprocess.mli [deleted file] blob | history
matita/applyTransformation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.