]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8fe665) | patch
legacy development created
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 22 Dec 2006 16:32:46 +0000 (16:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 22 Dec 2006 16:32:46 +0000 (16:32 +0000)
commit983f5ce6bd855e058e469de79b14361e2b920086
treefa08bb86ac93de4d0a738f8e7bb859d1fc04281ctree | snapshot
parenta8fe66543d27dc771bd54eedac0b59a8718153cecommit | diff
legacy development created
helm/software/matita/Makefile diff | blob | history
helm/software/matita/contribs/CoRN-Decl/preamble.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma diff | blob | history
helm/software/matita/contribs/developments.txt [new file with mode: 0644] blob
helm/software/matita/legacy/coq.ma [new file with mode: 0644] blob
helm/software/matita/legacy/makefile [new file with mode: 0644] blob
helm/software/matita/library/legacy/coq.ma [deleted file] blob | history
helm/software/matita/library/library_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.