]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abc2a8f) | patch
removed ugly printing
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Nov 2007 16:42:19 +0000 (16:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Nov 2007 16:42:19 +0000 (16:42 +0000)
commitf1efdff5ded26d264f2848ff53c19fe2099682a3
treee449e79312d1ab953f8d20c35597d1f90e4f2049tree | snapshot
parentabc2a8f11642390d930fbe81333f2f2b7467809dcommit | diff
removed ugly printing
components/library/libraryDb.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.