Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed "atp" and "atps" aliases, which users should have forgotten by now if they ever used them
authorblanchet
Fri, 10 Jun 2011 12:01:15 +0200
changeset 43353 6c008d3efb0a
parent 43352 597f31069e18
child 43354 396aaa15dd8b
removed "atp" and "atps" aliases, which users should have forgotten by now if they ever used them
src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jun 10 12:01:15 2011 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jun 10 12:01:15 2011 +0200
@@ -102,9 +102,7 @@
    ("preplay_timeout", "4")]
 
 val alias_params =
-  [("prover", "provers"),
-   ("atps", "provers"), (* FIXME: legacy *)
-   ("atp", "provers")]  (* FIXME: legacy *)
+  [("prover", "provers")]
 val negated_alias_params =
   [("no_debug", "debug"),
    ("quiet", "verbose"),
isabelle