diff -r e469d529e6da -r 42d63ea39161 etc/options
--- a/etc/options	Fri May 11 22:40:02 2018 +0200
+++ b/etc/options	Fri May 11 22:59:00 2018 +0200
@@ -247,6 +247,11 @@
   -- "maximum number of messages to keep SSH server connection alive"
 
 
+section "Theory export"
+
+option export_theory : bool = false
+
+
 section "Build Log Database"
 
 option build_log_database_user : string = ""