| Wed, 12 Aug 2015 13:56:46 +0200 | wenzelm | more thorough reload; | changeset | files |
| Wed, 12 Aug 2015 13:53:51 +0200 | wenzelm | resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload; | changeset | files |
| Wed, 12 Aug 2015 03:07:01 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 Aug 2015 02:40:39 +0200 | wenzelm | tuned colors; | changeset | files |
| Wed, 12 Aug 2015 02:21:00 +0200 | wenzelm | clarified breakpoint rendering; | changeset | files |
| Wed, 12 Aug 2015 02:20:06 +0200 | wenzelm | clarified; | changeset | files |
| Wed, 12 Aug 2015 01:39:31 +0200 | wenzelm | default ML context for forks, e.g. relevant for debugging and toplevel pretty-printing; | changeset | files |