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.
tuned message;
authorwenzelm
Sat, 30 May 2015 19:29:21 +0200
changeset 60312 ee6f9a97205d
parent 60311 599c4a27785c
child 60313 2a0b42cd58fb
tuned message;
src/HOL/Library/Old_SMT/old_smt_config.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/SMT/smt_config.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Old_SMT/old_smt_config.ML	Sat May 30 19:28:51 2015 +0200
+++ b/src/HOL/Library/Old_SMT/old_smt_config.ML	Sat May 30 19:29:21 2015 +0200
@@ -86,7 +86,7 @@
     |> Context.map_theory (Attrib.setup (Binding.name ("old_" ^ name ^ "_options"))
         (Scan.lift (@{keyword "="} |-- Args.name) >>
           (Thm.declaration_attribute o K o set_solver_options o pair name))
-        ("Additional command line options for SMT solver " ^ quote name))
+        ("additional command line options for SMT solver " ^ quote name))
 
 fun all_solvers_of ctxt = Symtab.keys (fst (Solvers.get (Context.Proof ctxt)))
 
--- a/src/HOL/Tools/SMT/smt_config.ML	Sat May 30 19:28:51 2015 +0200
+++ b/src/HOL/Tools/SMT/smt_config.ML	Sat May 30 19:29:21 2015 +0200
@@ -105,7 +105,7 @@
     |> Context.map_theory (Attrib.setup (Binding.name (name ^ "_options"))
         (Scan.lift (@{keyword "="} |-- Args.name) >>
           (Thm.declaration_attribute o K o set_solver_options o pair name))
-        ("Additional command line options for SMT solver " ^ quote name))
+        ("additional command line options for SMT solver " ^ quote name))
 
 fun all_solvers_of ctxt = Symtab.keys (solvers_of (Data.get (Context.Proof ctxt)))
isabelle