[isabelle] Sledgehammer settings


I noticed that the sledgehammer timeout can be configured in the
Isabelle plugin settings of jEdit. I would appreciate if I could also
configure the set of default solvers there, so that it would apply to
both “sledgehammer” entered by hand, and the sledgehammer panel.

Until then: What file do I have to modify how to configure it manually?


Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

Attachment: signature.asc
Description: This is a digitally signed message part

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.