| Sat, 10 Jan 2015 21:22:25 +0100 | wenzelm | proper Session.save with shutdown, which is relevant to avoid persistent threads; | file | diff | annotate |
| Tue, 22 Apr 2014 11:47:57 +0200 | wenzelm | more general exit; | file | diff | annotate |
| Mon, 16 Sep 2013 12:37:54 +0200 | wenzelm | prefer high-level ML_System.share_common_data, ML_System.save_state -- except for bootstrap images (RAW, Pure); | file | diff | annotate |