]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b24e4fa) | patch
- matitaclean greatly improved but ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Aug 2011 20:11:59 +0000 (20:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Aug 2011 20:11:59 +0000 (20:11 +0000)
commit4a0e7bf321b9a1601b82237b086aa2ab641ac880
treecc6f5cc09dcf84d786146ed2106929c028fd6475tree | snapshot
parentb24e4faf4501e54da29dc70940101eeb160e9c9fcommit | diff
- matitaclean greatly improved but ...
...  LibraryClean.clean_baseuris is not implemented yet :D
matita/matita/matitaclean.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.