--- a/etc/options Sun Jun 24 15:57:48 2018 +0200 +++ b/etc/options Sun Jun 24 22:13:23 2018 +0200 @@ -252,6 +252,8 @@ section "Theory Export" +option export_document : bool = false + option export_theory : bool = false