Refactor and combine save_rule_dialog and save_proof_dialog.
#93
The logs for this run have expired and are no longer available.
Loading
save_rule_dialog and save_proof_dialog.
#93