]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 963b078) | patch
removing unnecessary file
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Sep 2006 14:46:15 +0000 (14:46 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Sep 2006 14:46:15 +0000 (14:46 +0000)
commit147217977f79d16369978a31c096f3d3fe26daae
tree728bc01b719699960cf1398b41b3fb53a2632fc6tree | snapshot
parent963b07897f7548007c076c465c7f6733df481419commit | diff
removing unnecessary file
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/sequent_viewer.xml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.