etc/options
changeset 68491 f0f83ce0badd
parent 68381 2fd3a6d6ba2e
child 68661 5820f0f379ae
     1.1 --- a/etc/options	Sun Jun 24 15:57:48 2018 +0200
     1.2 +++ b/etc/options	Sun Jun 24 22:13:23 2018 +0200
     1.3 @@ -252,6 +252,8 @@
     1.4  
     1.5  section "Theory Export"
     1.6  
     1.7 +option export_document : bool = false
     1.8 +
     1.9  option export_theory : bool = false
    1.10  
    1.11