]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b5c68c) | patch
Interface of the argument to Continuationals.Make greately simplified. The
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Apr 2007 11:30:44 +0000 (11:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Apr 2007 11:30:44 +0000 (11:30 +0000)
commitda7f6fd7cc9658cfb2423db0d619811b43552976
treef99f07c671b183e6856a8510e3e3c69207878449tree | snapshot
parent3b5c68cab1d76a51f2e4d86fc752ccfd122f3034commit | diff
Interface of the argument to Continuationals.Make greately simplified. The
following functions have been removed:
 - id_tactic
 - get_status
 - get_proof
 - set_goals
components/grafite_engine/grafiteEngine.ml diff | blob | history
components/tactics/continuationals.ml diff | blob | history
components/tactics/continuationals.mli diff | blob | history
components/tactics/tacticals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.