]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/paramodulation/Makefile
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / paramodulation / Makefile
2006-01-12 Andrea AspertiMoved paramodulation inside tactics. commit | commitdiff
2006-01-09 Claudio Sacerdoti... paramodulation now compiles with ocaml 3.09 in opt... commit | commitdiff
2005-12-19 Andrea Aspertimoved term indexing (in both discrimination and path... commit | commitdiff
2005-12-19 Andrea AspertiDiscrimination and trie removed. commit | commitdiff
2005-12-06 Stefano Zacchirolibugfixes: commit | commitdiff
2005-11-25 Stefano Zacchirolichanged META dependency commit | commitdiff
2005-11-24 Stefano Zacchiroliremoved the need of REQUIRES in libraries Makefile... commit | commitdiff
2005-09-26 Claudio Sacerdoti... Inclusion path fixed. commit | commitdiff
2005-09-26 Alberto Griggionew paramodulation commit | commitdiff
2005-09-21 Alberto Griggiobugfix on proof construction commit | commitdiff
2005-09-06 Claudio Sacerdoti... ... commit | commitdiff
2005-07-22 Alberto Griggio- better exception handling commit | commitdiff
2005-07-21 Alberto Griggiomodifications/fixes for the integration with auto commit | commitdiff
2005-06-30 Alberto Griggioproofs are now built lazily at the end of the computation commit | commitdiff
2005-06-29 Alberto Griggiovarious updates, removed proofs for now because they... commit | commitdiff
2005-06-22 Alberto Griggiouse of discrimination trees instead of path indexes... commit | commitdiff
2005-06-20 Alberto Griggiosome optimizations... commit | commitdiff
2005-06-19 Alberto Griggiopath indexing integration commit | commitdiff
2005-06-10 Alberto Griggiointegrated indexing.ml, breaks everything :-P (previous... commit | commitdiff
2005-06-09 Alberto Griggiocambiato il tipo equality, aggiunto l'ordinamento tra... commit | commitdiff
2005-06-07 Alberto Griggio*** empty log message *** commit | commitdiff
2005-05-12 Alberto Griggiofirst commit of paramodulation-based theorem proving... commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.