]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b26e58a) | patch
we are moving the devel root one dir level up
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Feb 2008 17:16:12 +0000 (17:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Feb 2008 17:16:12 +0000 (17:16 +0000)
commit0e9753cbccef485911e2c2de1b4cdcae592906b9
tree3b0b0ebe54eef79d14d89bee67833fd3ae565e32tree | snapshot
parentb26e58af5174439d90a5a45675530d3c1a136147commit | diff
we are moving the devel root one dir level up
26 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Makefile [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/blt/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/blt/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/definitions.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/depends [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/ext/arith.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/ext/tactics.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/plist/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/plist/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/root [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/spare.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/theory.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/types/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/types/props.ma 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/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/Makefile diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/depends [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/root [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.