Commits

Anonymous committed ddb6293

Add option for default cryptol mode.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Comments (0)

Files changed (1)

   :type  'list
   :group 'cryptol)
 
+(defcustom cryptol-mode-default "bit"
+  "The default mode to start Cryptol in."
+  :type  'string
+  :group 'cryptol)
+
 (defcustom cryptol-compiled-buffer-name "*cryptol-compiled*"
   "The name of the scratch buffer for compiled Cryptol."
   :type  'string