]> matita.cs.unibo.it Git - helm.git/commit
beginning to see the light no-baseuri
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 10 Jan 2008 10:46:32 +0000 (10:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 10 Jan 2008 10:46:32 +0000 (10:46 +0000)
commitc3d1ee401a6ca0c86fcdde733f301e2fe6978143
treef31a7abd5e671bc1b22d7e9d5c1b377b6be2db79
parent711e170c2deaa92289d9d4eb7c0e8aedbe62b5cb
beginning to see the light
components/grafite_parser/dependenciesParser.ml
components/library/librarian.ml
matita/.depend
matita/Makefile
matita/matitaInit.ml
matita/matitac.ml
matita/matitacLib.ml