]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a981dd1) | patch
fixed dependences
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Feb 2008 17:24:39 +0000 (17:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Feb 2008 17:24:39 +0000 (17:24 +0000)
commit8b81a921636cd50f223f33cacda07bc0958b9ae8
tree9437fcb76fa906c62e4a3c5ab2ad92866fc5ab29tree | snapshot
parenta981dd18ae8ad9e9da79615fb80fe85dfe609f05commit | diff
fixed dependences
13 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/.depend [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depends_mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/xdepend [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.