| Sun, 16 Aug 2015 19:44:21 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 16 Aug 2015 19:25:08 +0200 | wenzelm | added Thm.chyps_of; | changeset | files |
| Sun, 16 Aug 2015 18:19:30 +0200 | wenzelm | prefer theory_id operations; | changeset | files |
| Sun, 16 Aug 2015 17:11:31 +0200 | wenzelm | separate type theory_id; | changeset | files |
| Sun, 16 Aug 2015 15:36:06 +0200 | wenzelm | delete precisely the added rules; | changeset | files |
| Sun, 16 Aug 2015 14:48:37 +0200 | wenzelm | clarified context; | changeset | files |
| Sun, 16 Aug 2015 11:55:21 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 16 Aug 2015 11:46:08 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 16 Aug 2015 11:29:06 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Aug 2015 23:10:13 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 15 Aug 2015 22:47:03 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 15 Aug 2015 20:27:23 +0200 | wenzelm | obsolete; | changeset | files |
| Sat, 15 Aug 2015 20:07:05 +0200 | wenzelm | clarified context; | changeset | files |
| Sat, 15 Aug 2015 19:42:35 +0200 | wenzelm | clarified context; | changeset | files |
| Sat, 15 Aug 2015 19:11:11 +0200 | wenzelm | tuned GUI; | changeset | files |
| Sat, 15 Aug 2015 19:07:11 +0200 | wenzelm | proper setup of evaluation context; | changeset | files |
| Sat, 15 Aug 2015 19:00:04 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Aug 2015 18:59:31 +0200 | wenzelm | more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer; | changeset | files |
| Sat, 15 Aug 2015 17:38:20 +0200 | wenzelm | allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e); | changeset | files |
| Sat, 15 Aug 2015 16:47:52 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 13 Aug 2015 15:22:11 +0200 | haftmann | qualified adjust_* | changeset | files |
| Thu, 13 Aug 2015 10:05:58 +0200 | haftmann | more lemmas | changeset | files |
| Thu, 13 Aug 2015 16:47:00 +0200 | traytel | unfold intermediate definitions (stemming from composition) in lifted bnf operations | changeset | files |
| Thu, 13 Aug 2015 13:55:52 +0200 | wenzelm | merged | changeset | files |
| Thu, 13 Aug 2015 13:55:48 +0200 | wenzelm | more standard options; | changeset | files |
| Thu, 13 Aug 2015 11:40:31 +0200 | wenzelm | prefer official @{make_string}; | changeset | files |
| Thu, 13 Aug 2015 11:05:19 +0200 | wenzelm | tuned signature, in accordance to sortBy in Scala; | changeset | files |
| Wed, 12 Aug 2015 21:38:39 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 13 Aug 2015 11:14:16 +0200 | traytel | tuned NEWS | changeset | files |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | actually process lift_bnf regression suite | changeset | files |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | NEWS, CONTRIBUTORS, documentation for lift_bnf | changeset | files |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | use lift_bnf in an example | changeset | files |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | new command for lifting BNF structure over typedefs | changeset | files |
| 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 |
| Wed, 12 Aug 2015 01:25:00 +0200 | wenzelm | clarified init/exit vs. session phase; | changeset | files |
| 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 |