| Thu, 20 Aug 2015 20:36:06 +0200 | wenzelm | clarified modules, like ML version; | file | diff | annotate |
| Thu, 20 Aug 2015 19:15:17 +0200 | wenzelm | tuned signature, according to ML version; | file | diff | annotate |
| Mon, 17 Aug 2015 21:32:41 +0200 | wenzelm | no ML_debugger support in Pure -- too complicated; | file | diff | annotate |
| Mon, 17 Aug 2015 21:22:55 +0200 | wenzelm | more careful propagation of ML_debugger option to Pure; | file | diff | annotate |
| Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | file | diff | annotate |
| Fri, 17 Apr 2015 11:28:57 +0200 | wenzelm | allow to exclude session groups; | file | diff | annotate |
| Wed, 15 Apr 2015 15:27:45 +0200 | wenzelm | tuned signature, clarified modules; | file | diff | annotate |