preference(require_operations_to_assign_all_outputs,true).
preference(cspm_detailed_animation,false).
preference(debug_time_out_factor,5).
preference(use_large_jvm_for_parser,false).
preference(path_to_dotty2,dotty).
preference(dot_normal_arc_colour,steelblue).
preference(path_to_fdr,fdr2).
preference(allow_empty_global_sets,false).
preference(dot_print_functions,false).
preference(dot_print_arc_colors,true).
preference(allow_source_code_editing,true).
preference(user_is_an_expert_with_accessto_source_distribution,true).
preference(default_to_runtime_type_checking_on_startup_for_expert,false).
preference(do_syntax_highlighting,true).
preference(sh_type_colour,darkred).
preference(sh_logical_colour,tomato).
preference(sh_assignments_colour,darkblue).
preference(sh_operators,'#5883be').
preference(sh_top_level_keywords,blue).
preference(sh_control_keywords,darkviolet).
preference(sh_comments,'#784e50').
preference(sh_unsupported_background,yellow).
preference(user_not_beginner,true).
preference(path_to_ps_viewer,'/Applications/Preview.app').
preference(path_to_probe,'/Applications/BBEdit.app').
preference(path_to_spin,'/Applications/BBEdit.app').
preference(path_to_fuzz,fuzz).
preference(number_of_recent_documents,35).
preference(use_font_size_for_columns,false).
preference(path_to_dot,'/Applications/Development/Graphviz.app/Contents/MacOS/dot').
preference(dot_print_leaves,true).
preference(path_to_csp_typechecker,checker).
preference(cspm_display_inout,false).
preference(treat_outermost_pre_as_select,true).
preference(cspm_animate_all_processes,false).
preference(dot_root_shape,invtriangle).
preference(dot_current_node_shape,doubleoctagon).
preference(dot_normal_node_colour,olivedrab2).
preference(dot_invariant_violated_node_colour,lightblue).
preference(dot_scope_limit_node_colour,gray).
preference(dot_open_node_colour,maroon2).
preference(dot_normal_node_shape,box).
preference(do_invariant_checking,true).
preference(dot_goal_node_colour,'#b0422b').
preference(dot_colour_goal_nodes,true).
preference(dot_print_action_arguments,true).
preference(dot_node_font_size,12).
preference(dot_edge_font_size,8).
preference(use_tk_custom_state_viewer,true).
preference(use_small_window,false).
preference(tk_show_source_pane,true).
preference(do_neginvariant_checking,false).
preference(path_to_dotty,'/Applications/Graphviz.app').
preference(dot_fill_normal_nodes,false).
preference(dot_print_node_info,true).
preference(dot_print_node_properties,false).
preference(use_avl_trees_for_sets,true).
preference(convert_closures_into_explicit_form_for_store,false).
preference(cspm_allow_incomplete_records,true).
preference(show_initialisation_arguments,true).
preference(animate_skip_operations,true).
preference(path_to_text_editor,'/Applications/TeX/BBEdit.app').
preference(minint,-1).
preference(dot_print_root,true).
preference(dot_print_node_ids,false).
preference(symmetry_mode,off).
preference(dot_print_self_loops,false).
preference(expand_forall_upto,1).
preference(allow_new_ops_in_refinement,true).
preference(ignore_hash_collisions,false).
preference(convert_types_into_closures,true).
preference(allow_recursive_closures,false).
preference(convert_comprehension_sets_into_closures,false).
preference(maxNrOfEnablingsPerOperation,10).
preference(globalsets_fdrange,3).
preference(time_out,13000).
preference(maxint,3).
preference(maxNrOfInitialisations,3).
preference(find_abort_values,true).
preference(show_eventb_any_arguments,true).
preference(font_size,'Courier 14').
preference(dot_use_ps_viewer,false).
preference(dot_use_alterate_dot_viewer,false).