diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-12-23 18:18:13 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-12-23 18:18:13 +0000 |
| commit | b946944cb9bb21dcd9aba3b01b9aeafc4b78b1c8 (patch) | |
| tree | f76ac391e9b302c716b862163eeaccd2ad5d899f /contrib/first-order | |
| parent | ea798f046bf172626bd229906946803b0dd9cd96 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5134 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/first-order')
| -rw-r--r-- | contrib/first-order/g_ground.ml4 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/first-order/g_ground.ml4 b/contrib/first-order/g_ground.ml4 index d6f76a0a9..bfdf5dbfc 100644 --- a/contrib/first-order/g_ground.ml4 +++ b/contrib/first-order/g_ground.ml4 @@ -90,6 +90,7 @@ TACTIC EXTEND Firstorder [ gen_ground_tac true (option_app eval_tactic t) Void ] END +(* Obsolete since V8.0 TACTIC EXTEND GTauto [ "GTauto" ] -> [ gen_ground_tac false (Some fail_solver) Void ] @@ -99,4 +100,4 @@ TACTIC EXTEND GIntuition [ "GIntuition" tactic_opt(t) ] -> [ gen_ground_tac false (option_app eval_tactic t) Void ] END - +*) |