Sat, 17 Aug 2013 22:45:48 +0200 | wenzelm | prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options; | file | diff | annotate |
Sat, 20 Jul 2013 16:45:00 +0200 | wenzelm | clarified option name, with improved sort order wrt. "time" options; | file | diff | annotate |
Sat, 13 Jul 2013 18:33:33 +0200 | wenzelm | initial delay for automatically tried tools; | file | diff | annotate |
Sat, 13 Jul 2013 14:11:48 +0200 | wenzelm | clarified some default options; | file | diff | annotate |
Fri, 12 Jul 2013 23:45:05 +0200 | wenzelm | system options for Isabelle/HOL proof tools; | file | diff | annotate |