]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8dac1f) | patch
SVN bug: library lost, copying it again from previous version (???)
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Oct 2010 10:51:07 +0000 (10:51 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Oct 2010 10:51:07 +0000 (10:51 +0000)
commit08ae8b17903359fa9086a465096fd568c562d1d3
treee734ac768f22b1a21fdec5a5d90572cbbb5bce0ftree | snapshot
parentb8dac1f8f6b664b78e58c152cd3960e121713f5dcommit | diff
SVN bug: library lost, copying it again from previous version (???)
23 files changed:
matita/components/library/.depend [new file with mode: 0644] blob
matita/components/library/.depend.opt [new file with mode: 0644] blob
matita/components/library/Makefile [new file with mode: 0644] blob
matita/components/library/cicCoercion.ml [new file with mode: 0644] blob
matita/components/library/cicCoercion.mli [new file with mode: 0644] blob
matita/components/library/cicElim.ml [new file with mode: 0644] blob
matita/components/library/cicElim.mli [new file with mode: 0644] blob
matita/components/library/cicFix.ml [new file with mode: 0644] blob
matita/components/library/cicFix.mli [new file with mode: 0644] blob
matita/components/library/cicRecord.ml [new file with mode: 0644] blob
matita/components/library/cicRecord.mli [new file with mode: 0644] blob
matita/components/library/coercDb.ml [new file with mode: 0644] blob
matita/components/library/coercDb.mli [new file with mode: 0644] blob
matita/components/library/librarian.ml [new file with mode: 0644] blob
matita/components/library/librarian.mli [new file with mode: 0644] blob
matita/components/library/libraryClean.ml [new file with mode: 0644] blob
matita/components/library/libraryClean.mli [new file with mode: 0644] blob
matita/components/library/libraryDb.ml [new file with mode: 0644] blob
matita/components/library/libraryDb.mli [new file with mode: 0644] blob
matita/components/library/libraryMisc.ml [new file with mode: 0644] blob
matita/components/library/libraryMisc.mli [new file with mode: 0644] blob
matita/components/library/librarySync.ml [new file with mode: 0644] blob
matita/components/library/librarySync.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.