| 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 |
| Thu, 06 Aug 2015 11:46:47 +0200 | wenzelm | clarified signature, to make debugger.ML compile with current official ML versions; | changeset | files |
| Wed, 05 Aug 2015 21:46:52 +0200 | wenzelm | support for tree selection; | changeset | files |
| Wed, 05 Aug 2015 20:36:07 +0200 | wenzelm | proper dynamic update; | changeset | files |
| Wed, 05 Aug 2015 20:19:51 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 05 Aug 2015 20:04:21 +0200 | wenzelm | more GUI components; | changeset | files |
| Wed, 05 Aug 2015 20:03:22 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 05 Aug 2015 20:02:44 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 05 Aug 2015 16:22:56 +0200 | wenzelm | more controls; | changeset | files |
| Wed, 05 Aug 2015 16:22:40 +0200 | wenzelm | proper initialization; | changeset | files |
| Wed, 05 Aug 2015 16:13:42 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 05 Aug 2015 14:18:07 +0200 | wenzelm | protocol support for thread debugger state; | changeset | files |
| Tue, 04 Aug 2015 23:11:16 +0200 | wenzelm | eliminated clone; | changeset | files |
| Tue, 04 Aug 2015 15:00:58 +0200 | wenzelm | merged | changeset | files |