| Sat, 26 Apr 2014 13:07:20 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 25 Apr 2014 23:42:25 +0200 | wenzelm | manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44); | file | diff | annotate |
| Sat, 19 Apr 2014 19:52:02 +0200 | wenzelm | more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE); | file | diff | annotate |
| Thu, 17 Apr 2014 13:21:36 +0200 | wenzelm | added protocol command "use_theories", with core functionality of batch build; | file | diff | annotate |
| Sat, 12 Apr 2014 17:46:54 +0200 | wenzelm | markup for prose words within formal comments; | file | diff | annotate |
| Tue, 25 Mar 2014 16:11:00 +0100 | wenzelm | separate tokenization and language context for SML: no symbols, no antiquotes; | file | diff | annotate |
| Tue, 18 Mar 2014 12:25:17 +0100 | wenzelm | more markup for improper elements; | file | diff | annotate |