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.
comment;
authorwenzelm
Mon, 16 Jul 2012 15:55:21 +0200
changeset 48270 9cfd3e7ad5c8
parent 48269 59bc6374c121
child 48271 b28defd0b5a5
comment;
src/HOL/Tools/Quickcheck/narrowing_generators.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 16 11:26:16 2012 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 16 15:55:21 2012 +0200
@@ -9,7 +9,7 @@
   val allow_existentials : bool Config.T
   val finite_functions : bool Config.T
   val overlord : bool Config.T
-  val ghc_options : string Config.T
+  val ghc_options : string Config.T  (* FIXME prefer settings, i.e. getenv (!?) *)
   val active : bool Config.T
   datatype counterexample = Universal_Counterexample of (term * counterexample)
     | Existential_Counterexample of (term * counterexample) list
isabelle