]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af1498c) | 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)
commitc175c78b4fd9d0bac50669e9954acf68d50014e7
tree045cae5e2c3a41614819a732b7a95b6b036d199dtree | snapshot
parentaf1498c45e1266fc08923eeaeb5c3cb7fc7776e6commit | diff
Interface of the argument to Continuationals.Make greately simplified. The
following functions have been removed:
 - id_tactic
 - get_status
 - get_proof
 - set_goals
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
helm/software/components/tactics/continuationals.ml diff | blob | history
helm/software/components/tactics/continuationals.mli diff | blob | history
helm/software/components/tactics/tacticals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.