]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b36fc4) | patch
the level 1 reconstruction procedure is now in Procedural1
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Mar 2009 13:20:57 +0000 (13:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Mar 2009 13:20:57 +0000 (13:20 +0000)
commitdf3e9efe1690fb5d93061b657e6ddcc3c11745db
tree20fdbba7b9afdb25e67166876675a7f00f668780tree | snapshot
parent1b36fc4540d93ff21c1afcf485e47e3fe3f26ddbcommit | diff
the level 1 reconstruction procedure is now in Procedural1
Procedural2 coming soon ....
helm/software/components/acic_procedural/.depend diff | blob | history
helm/software/components/acic_procedural/.depend.opt diff | blob | history
helm/software/components/acic_procedural/Makefile diff | blob | history
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/acic2Procedural.mli diff | blob | history
helm/software/components/acic_procedural/procedural-1.ml [deleted file] blob | history
helm/software/components/acic_procedural/procedural-1.mli [deleted file] blob | history
helm/software/components/acic_procedural/procedural1.ml [new file with mode: 0644] blob
helm/software/components/acic_procedural/procedural1.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.