Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Nitpick_Examples/minipick.ML
changeset 50487 9486641e691b
parent 49026 72dcf53c1ee4
child 54845 10df188349b3 
--- a/src/HOL/Nitpick_Examples/minipick.ML	Wed Dec 12 03:47:02 2012 +0100
+++ b/src/HOL/Nitpick_Examples/minipick.ML	Wed Dec 12 11:18:06 2012 +0100
@@ -438,6 +438,7 @@
       JavaNotFound => "unknown"
     | JavaTooOld => "unknown"
     | KodkodiNotInstalled => "unknown"
+    | KodkodiTooOld => "unknown"
     | Normal ([], _, _) => "none"
     | Normal _ => "genuine"
     | TimedOut _ => "unknown"
isabelle