| Mon, 17 Aug 2015 19:34:15 +0200 | wenzelm | support for ML files with/without debugger information; | file | diff | annotate |
| Mon, 17 Aug 2015 16:27:12 +0200 | wenzelm | explicit debug flag for ML compiler; | file | diff | annotate |
| Thu, 06 Aug 2015 21:31:54 +0200 | wenzelm | evaluate ML expressions within debugger context; | file | diff | annotate |
| Sun, 30 Nov 2014 12:24:56 +0100 | wenzelm | more abstract type Input.source; | file | diff | annotate |
| Tue, 11 Nov 2014 18:16:25 +0100 | wenzelm | more position information, e.g. relevant for errors in generated ML source; | file | diff | annotate |
| Fri, 07 Nov 2014 16:36:55 +0100 | wenzelm | plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; | file | diff | annotate |