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.
added offline test for skip_proofs;
authorwenzelm
Wed, 01 Aug 2012 15:56:36 +0200
changeset 48636 38793f924c9a
parent 48635 bfce940c6f38
child 48637 547b075669ae
added offline test for skip_proofs;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Wed Aug 01 15:50:50 2012 +0200
+++ b/src/HOL/ROOT	Wed Aug 01 15:56:36 2012 +0200
@@ -341,6 +341,10 @@
     "document/root.bib"
     "document/root.tex"
 
+session "MicroJava-skip_proofs" in MicroJava = HOL +
+  options [condition = ISABELLE_FULL_TEST, document = false, skip_proofs, quick_and_dirty]
+  theories MicroJava
+
 session NanoJava = HOL +
   options [document_graph]
   theories Example
isabelle