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/ROOT
changeset 51553 63327f679cff
parent 51544 8c58fbbc1d5a
child 51558 91f8bed6d0a4 
--- a/src/HOL/ROOT	Wed Mar 27 14:50:30 2013 +0100
+++ b/src/HOL/ROOT	Wed Mar 27 16:38:25 2013 +0100
@@ -424,7 +424,7 @@
     "document/root.tex"
 
 session "HOL-MicroJava-skip_proofs" in MicroJava = HOL +
-  options [condition = ISABELLE_FULL_TEST, document = false, skip_proofs, quick_and_dirty]
+  options [condition = ISABELLE_FULL_TEST, document = false, skip_proofs]
   theories MicroJava
 
 session "HOL-NanoJava" in NanoJava = HOL +
isabelle