]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3ee89d) | patch
some renaming to make ocamlopt happy
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 6 Jun 2009 08:59:51 +0000 (08:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 6 Jun 2009 08:59:51 +0000 (08:59 +0000)
commit25cf2297c8d14c14cfb2ff7695c9b6331825f4c9
tree7901c7536a2cd1cce6e5c677a0072b7134b8b263tree | snapshot
parenta3ee89dab26307ce1cedc8041ede995a97d51446commit | diff
some renaming to make ocamlopt happy
12 files changed:
helm/software/components/ng_paramodulation/.depend diff | blob | history
helm/software/components/ng_paramodulation/.depend.opt diff | blob | history
helm/software/components/ng_paramodulation/Makefile diff | blob | history
helm/software/components/ng_paramodulation/foSubst.ml [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/foSubst.mli [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/foUnif.ml [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/foUnif.mli [new file with mode: 0644] blob
helm/software/components/ng_paramodulation/fosubst.ml [deleted file] blob | history
helm/software/components/ng_paramodulation/fosubst.mli [deleted file] blob | history
helm/software/components/ng_paramodulation/founif.ml [deleted file] blob | history
helm/software/components/ng_paramodulation/founif.mli [deleted file] blob | history
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.