| Sat, 19 Apr 2014 20:01:26 +0200 | wenzelm | clarified actor plumbing; | changeset | files |
| 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); | changeset | files |
| Sat, 19 Apr 2014 19:03:32 +0200 | wenzelm | clarified tooltip_lines: HTML.encode already takes care of newline (but not space); | changeset | files |
| Sat, 19 Apr 2014 18:37:41 +0200 | wenzelm | removed odd context argument: Thy_Info.get_theory does not fit into PIDE document model; | changeset | files |
| Sat, 19 Apr 2014 17:33:51 +0200 | wenzelm | obsolete for release; | changeset | files |
| Sat, 19 Apr 2014 17:28:07 +0200 | wenzelm | obsolete since polyml-5.5.0; | changeset | files |
| Sat, 19 Apr 2014 17:23:05 +0200 | wenzelm | added command 'SML_export' and 'SML_import' for exchange of toplevel bindings; | changeset | files |