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.
etc/options
changeset 52488 cd65ee49a8ba
parent 52065 78f2475aa126
child 52490 cfab88cd7ba7 
--- a/etc/options	Sun Jun 30 11:37:34 2013 +0200
+++ b/etc/options	Sun Jun 30 12:30:02 2013 +0200
@@ -79,8 +79,6 @@
 
 section "Detail of Proof Recording"
 
-option proofs : int = 1
-  -- "level of detail for proof objects: 0, 1, 2"
 option quick_and_dirty : bool = false
   -- "if true then some tools will OMIT some proofs"
 option skip_proofs : bool = false
isabelle