]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ada20f) | patch
implementation of the make algorithm, still unfinished.
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Jan 2008 10:13:04 +0000 (10:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Jan 2008 10:13:04 +0000 (10:13 +0000)
commitbc61d11ba810d23ff947c14e3a39d6e3879d673e
tree524cddbb18c5e3bc635a09d5ef31cb8cf91ccdc5tree | snapshot
parent6ada20fa68668e9d23842767fe643efc04f9d29acommit | diff
implementation of the make algorithm, still unfinished.
to be integrated with matitac to drop our beloved developments.
helm/software/make/main.ml [new file with mode: 0644] blob
helm/software/make/make.ml [new file with mode: 0644] blob
helm/software/make/make.mli [new file with mode: 0644] blob
helm/software/make/test/a.c [new file with mode: 0644] blob
helm/software/make/test/b.c [new file with mode: 0644] blob
helm/software/make/test/c.c [new file with mode: 0644] blob
helm/software/make/test/d.c [new file with mode: 0644] blob
helm/software/make/test/e.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.