| Mon, 10 Aug 2015 20:42:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 10 Aug 2015 20:25:04 +0200 | wenzelm | tuned rendering; | changeset | files |
| Mon, 10 Aug 2015 20:22:49 +0200 | wenzelm | set breakpoint state on ML side, relying on stable situation within the PIDE editing queue; | changeset | files |
| Mon, 10 Aug 2015 19:17:49 +0200 | wenzelm | more thorough Encode.string; | changeset | files |
| Mon, 10 Aug 2015 17:49:36 +0200 | wenzelm | added action to toggle breakpoints (on editor side); | changeset | files |
| Mon, 10 Aug 2015 16:14:50 +0200 | wenzelm | sort lines; | changeset | files |
| Mon, 10 Aug 2015 16:05:41 +0200 | wenzelm | rendering for debugger/breakpoint active state; | changeset | files |
| Mon, 10 Aug 2015 14:14:49 +0200 | wenzelm | follow debugger focus; | changeset | files |
| Mon, 10 Aug 2015 14:13:49 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 10 Aug 2015 13:54:12 +0200 | wenzelm | tuned imports; | changeset | files |
| Mon, 10 Aug 2015 11:23:49 +0200 | wenzelm | tuned messages; | changeset | files |
| Mon, 10 Aug 2015 11:20:16 +0200 | wenzelm | clarified ML options; | changeset | files |
| Sat, 08 Aug 2015 22:08:43 +0200 | wenzelm | merged | changeset | files |
| Sat, 08 Aug 2015 21:33:11 +0200 | wenzelm | more single stepping; | changeset | files |
| Sat, 08 Aug 2015 10:51:33 +0200 | haftmann | direct bootstrap of integer division from natural division | changeset | files |
| Thu, 06 Aug 2015 23:56:48 +0200 | haftmann | slight cleanup of lemmas | changeset | files |
| Thu, 06 Aug 2015 19:12:09 +0200 | haftmann | obsolete since no code generator without dictionary construction left | changeset | files |
| Fri, 07 Aug 2015 17:58:12 +0200 | wenzelm | make SML/NJ work; | changeset | files |
| Fri, 07 Aug 2015 16:15:53 +0200 | wenzelm | suppress empty messages as usual; | changeset | files |
| Fri, 07 Aug 2015 14:55:35 +0200 | wenzelm | proper Symbol.decode/encode; | changeset | files |
| Fri, 07 Aug 2015 14:46:56 +0200 | wenzelm | eval ML context; | changeset | files |
| Fri, 07 Aug 2015 11:44:11 +0200 | wenzelm | maintain history more often; | changeset | files |
| Thu, 06 Aug 2015 23:20:15 +0200 | wenzelm | approximate old selection after update; | changeset | files |
| Thu, 06 Aug 2015 23:08:42 +0200 | wenzelm | expand all rows for robustness and simplicity; | changeset | files |
| Thu, 06 Aug 2015 21:31:54 +0200 | wenzelm | evaluate ML expressions within debugger context; | changeset | files |
| Thu, 06 Aug 2015 20:33:12 +0200 | wenzelm | clarified debugger loop; | changeset | files |
| Thu, 06 Aug 2015 17:40:05 +0200 | wenzelm | clarified thread state; | changeset | files |
| Thu, 06 Aug 2015 14:29:05 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 06 Aug 2015 14:28:59 +0200 | wenzelm | more controls; | changeset | files |
| Thu, 06 Aug 2015 14:23:59 +0200 | wenzelm | tuned; | changeset | files |