]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7629d4) | patch
More bugfixes in matitaFilesystem.ml
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 21 Jun 2011 15:31:11 +0000 (15:31 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 21 Jun 2011 15:31:11 +0000 (15:31 +0000)
commit563dafd0155ff31215d3f7b813379fa6d50404f1
tree37e1d90c4c9dbd1481ab345e6a2e1b149c985e46tree | snapshot
parentb7629d479124bba15ce5014c7daf0d1d9db48bebcommit | diff
More bugfixes in matitaFilesystem.ml
matitaB/matita/matitaFilesystem.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.