]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Apr 2009 14:43:52 +0000 (14:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Apr 2009 14:43:52 +0000 (14:43 +0000)
commit718d9bcfb53dd76a5c0622aff9fed69a68769324
treedab44b57aafb886e64f7c1d6ee39a7694f210a76
parent8f4bb4db3597080b57d957eb444e58e032da2d78
...
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_engine/grafiteTypes.ml
helm/software/components/grafite_engine/grafiteTypes.mli
helm/software/components/ng_tactics/nTacStatus.mli
helm/software/matita/matitaEngine.ml
helm/software/matita/matitaExcPp.ml