| Wed, 12 Aug 2015 10:15:18 +1000 | Daniel Matichuk | clarify type vs. term instantiation when forming closure; | changeset | files |
| Tue, 11 Aug 2015 22:17:19 +0200 | wenzelm | more accurate dependencies; | changeset | files |
| Tue, 11 Aug 2015 22:11:09 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Aug 2015 22:06:25 +0200 | wenzelm | clarified thread re-selection; | changeset | files |
| Tue, 11 Aug 2015 22:01:11 +0200 | wenzelm | clarified tree row handling; | changeset | files |
| Tue, 11 Aug 2015 21:36:25 +0200 | wenzelm | proper context (amending 7aad4be8a48e); | changeset | files |
| Tue, 11 Aug 2015 21:24:11 +0200 | wenzelm | suppress threads without debug state; | changeset | files |
| Tue, 11 Aug 2015 21:15:29 +0200 | wenzelm | clarified events; | changeset | files |
| Tue, 11 Aug 2015 20:49:22 +0200 | wenzelm | clarified GUI event handling; | changeset | files |
| Tue, 11 Aug 2015 20:32:56 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 11 Aug 2015 20:28:11 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Aug 2015 20:21:13 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Tue, 11 Aug 2015 20:05:27 +0200 | wenzelm | print values for stack entry; | changeset | files |
| Tue, 11 Aug 2015 18:42:29 +0200 | wenzelm | clarified output; | changeset | files |
| Tue, 11 Aug 2015 18:00:28 +0200 | wenzelm | default ML context for all command transactions, e.g. relevant for debugging and toplevel pretty-printing; | changeset | files |
| Tue, 11 Aug 2015 17:06:23 +0200 | wenzelm | clarified break *point* position; | changeset | files |
| Tue, 11 Aug 2015 17:00:16 +0200 | wenzelm | support hyperlinks with optional focus change; | changeset | files |
| Tue, 11 Aug 2015 15:24:49 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Aug 2015 14:35:08 +0200 | wenzelm | vacuous input means continue, e.g. after exit; | changeset | files |
| Tue, 11 Aug 2015 14:21:00 +0200 | wenzelm | GUI actions depend on active debugger; | changeset | files |
| Tue, 11 Aug 2015 14:13:36 +0200 | wenzelm | init/exit depending on active debugger panels; | changeset | files |
| Tue, 11 Aug 2015 13:50:59 +0200 | wenzelm | eliminated cancel operation: disrupts normal evaluation of thread; | changeset | files |
| Tue, 11 Aug 2015 11:55:41 +0200 | wenzelm | register thread such that cancel works; | changeset | files |
| Mon, 10 Aug 2015 22:34:00 +0200 | wenzelm | clarified default selection; | changeset | files |
| Mon, 10 Aug 2015 22:21:55 +0200 | wenzelm | report final debugger_state more robustly, e.g. after interrupt; | changeset | files |
| Mon, 10 Aug 2015 21:11:15 +0200 | wenzelm | eliminated global option: breakpoints control this individually; | changeset | files |
| Mon, 10 Aug 2015 21:06:10 +0200 | wenzelm | more uniform ScrollPane, like graphview; | changeset | files |
| 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 |
| 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 |
| 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 |
| Tue, 28 Jul 2015 20:07:05 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 28 Jul 2015 20:05:53 +0200 | wenzelm | proper context; | changeset | files |
| Tue, 28 Jul 2015 19:49:54 +0200 | wenzelm | more direct access to atomic cterms; | changeset | files |
| Tue, 28 Jul 2015 18:59:15 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 28 Jul 2015 18:57:47 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 28 Jul 2015 18:57:10 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 28 Jul 2015 18:45:32 +0200 | immler | merged | changeset | files |
| Tue, 28 Jul 2015 17:46:35 +0200 | immler | merged | changeset | files |
| Tue, 28 Jul 2015 16:34:08 +0200 | immler | added theory Uniform_Limit | changeset | files |
| Tue, 28 Jul 2015 18:27:39 +0200 | wenzelm | evade timeout problem on macbroy6 (potentially due to NFS oddities); | changeset | files |
| Tue, 28 Jul 2015 17:15:01 +0100 | paulson | tweaks. Got rid of a really slow step | changeset | files |
| Tue, 28 Jul 2015 16:16:13 +0100 | paulson | the Cauchy integral theorem and related material | changeset | files |
| Tue, 28 Jul 2015 13:00:54 +0200 | nipkow | depth -> height; removed del_rightmost (too specifi) | changeset | files |
| Mon, 27 Jul 2015 23:56:11 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 27 Jul 2015 23:41:57 +0200 | wenzelm | merged | changeset | files |
| Mon, 27 Jul 2015 23:40:39 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 27 Jul 2015 22:44:02 +0200 | haftmann | formal class for factorial (semi)rings | changeset | files |
| Mon, 27 Jul 2015 22:08:46 +0200 | wenzelm | merged | changeset | files |
| Mon, 27 Jul 2015 17:56:08 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 27 Jul 2015 17:44:55 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 27 Jul 2015 16:52:57 +0100 | paulson | New material for Cauchy's integral theorem | changeset | files |
| Mon, 27 Jul 2015 16:35:12 +0200 | wenzelm | tuned signature for print_nested_cases; | changeset | files |
| Mon, 27 Jul 2015 15:13:05 +0200 | wenzelm | more explicit checks -- improved errors; | changeset | files |
| Mon, 27 Jul 2015 14:56:06 +0200 | wenzelm | eliminated cterm_instantiate; | changeset | files |
| Mon, 27 Jul 2015 14:55:26 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Mon, 27 Jul 2015 11:30:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 27 Jul 2015 00:17:18 +0200 | wenzelm | added infer_instantiate_vars, which allows inconsistent types for variables, as required for Metis proof reconstruction; | changeset | files |
| Sun, 26 Jul 2015 22:26:11 +0200 | wenzelm | eliminated atac, rtac, etac, dtac, ftac; | changeset | files |
| Sun, 26 Jul 2015 22:19:14 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 22:07:37 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 21:50:44 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |