]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cea505d) | patch
one more step toward release and bench reorganization
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 16 Mar 2006 09:39:00 +0000 (09:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 16 Mar 2006 09:39:00 +0000 (09:39 +0000)
commit1108f4fe01ea2dccd8d3b591f2cdc131dab7913e
treed0e57eefc4a8ddccde80b39dccdbef810dbf38b4tree | snapshot
parentcea505df0c55c2bb6e239a0aba2abcf80550e920commit | diff
one more step toward release and bench reorganization
helm/software/components/binaries/Makefile [new file with mode: 0644] blob
helm/software/components/binaries/utilities/.depend [new file with mode: 0644] blob
helm/software/matita/library/makefile [new file with mode: 0644] blob
helm/software/matita/matitacLib.ml diff | blob | history
helm/software/matita/matitamakeLib.ml diff | blob | history
helm/software/matita/scripts/bench.sql diff | blob | history
helm/software/matita/scripts/functions.lua [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.