Open andriusvelykis opened 11 years ago
Some Isabelle options can be configured, e.g. editor_output_delay, editor_reparse_limit.
editor_output_delay
editor_reparse_limit
Allow configuring these via Eclipse preferences (or launch configurations).
Some Isabelle options can be configured, e.g.
editor_output_delay
,editor_reparse_limit
.Allow configuring these via Eclipse preferences (or launch configurations).