| 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 |
| Tue, 04 Aug 2015 14:29:45 +0200 | wenzelm | more symbols; | changeset | files |
| Tue, 04 Aug 2015 14:06:24 +0200 | wenzelm | more symbols; | changeset | files |
| Tue, 04 Aug 2015 12:19:41 +0200 | traytel | more documentation of coercions | changeset | files |
| Thu, 30 Jul 2015 21:56:19 +0200 | wenzelm | merged | changeset | files |
| Thu, 30 Jul 2015 14:02:19 +0200 | wenzelm | clarified management of (single) session; | changeset | files |
| Thu, 30 Jul 2015 11:39:30 +0200 | wenzelm | maintain debugger output messages; | changeset | files |
| Thu, 30 Jul 2015 11:32:58 +0200 | wenzelm | provide CharSequence operations as well; | changeset | files |
| Wed, 29 Jul 2015 15:52:57 +0200 | wenzelm | more GUI components; | changeset | files |
| Wed, 29 Jul 2015 14:04:19 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 29 Jul 2015 13:34:04 +0200 | wenzelm | separate channel for debugger output; | changeset | files |
| Wed, 29 Jul 2015 11:41:26 +0200 | wenzelm | clarified thread name; | changeset | files |
| Thu, 30 Jul 2015 09:49:43 +0200 | Andreas Lochbihler | add coinduction rule for infinite | changeset | files |
| Tue, 28 Jul 2015 23:29:13 +0200 | wenzelm | merged | changeset | files |
| Tue, 28 Jul 2015 23:14:40 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 28 Jul 2015 21:47:03 +0200 | wenzelm | more explicit context; | changeset | files |
| Tue, 28 Jul 2015 21:31:16 +0200 | wenzelm | eliminated dead code; | changeset | files |
| Tue, 28 Jul 2015 21:10:41 +0200 | wenzelm | clarified Variable.gen_all; | changeset | files |
| Tue, 28 Jul 2015 20:59:39 +0200 | wenzelm | more explicit context; | changeset | files |
| Tue, 28 Jul 2015 20:15:19 +0200 | wenzelm | more direct access to atomic cterms; | changeset | files |