]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62596f4) | patch
The rewritingstep declarative command now takes also a list of arguments
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 29 Nov 2006 21:44:42 +0000 (21:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 29 Nov 2006 21:44:42 +0000 (21:44 +0000)
commitb10df1955682f76d37bd302ee43987546ec86691
tree7506de3db640e9b6f5c1b50d9f3b14e1da8c588dtree | snapshot
parent62596f4e0a109e43c9df5da20571827c8b905ce4commit | diff
The rewritingstep declarative command now takes also a list of arguments
that are passed to paramodulation (after adding paramodulation=1 and
timeout=3 if these parameters are not already forced by the user).
components/grafite/grafiteAst.ml diff | blob | history
components/grafite/grafiteAstPp.ml diff | blob | history
components/grafite_parser/grafiteDisambiguate.ml diff | blob | history
components/grafite_parser/grafiteParser.ml diff | blob | history
components/tactics/declarative.ml diff | blob | history
components/tactics/declarative.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.