]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 890385f) | patch
fixed a bug (status not reset properly between calls), tried some other
authorAlberto Griggio <griggio@fbk.eu>
Mon, 10 Oct 2005 16:16:04 +0000 (16:16 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 10 Oct 2005 16:16:04 +0000 (16:16 +0000)
commite9a76af2c3c2a70f26b0315225b596bcba1a585d
treeeb3899dcc6ba023bdaf11d94a86d822132e82858tree | snapshot
parent890385fa69623abbcfbfe758218c080b7c80903ecommit | diff
fixed a bug (status not reset properly between calls), tried some other
euristics (not very satisfactory... :-( )
helm/ocaml/paramodulation/indexing.ml diff | blob | history
helm/ocaml/paramodulation/inference.ml diff | blob | history
helm/ocaml/paramodulation/inference.mli diff | blob | history
helm/ocaml/paramodulation/saturate_main.ml diff | blob | history
helm/ocaml/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.