| Mon, 29 May 2017 19:50:46 +0200 | wenzelm | proper HTML preview; | changeset | files |
| Mon, 29 May 2017 19:34:07 +0200 | wenzelm | clarified view column; | changeset | files |
| Mon, 29 May 2017 15:16:32 +0200 | wenzelm | basic setup for document preview; | changeset | files |
| Mon, 29 May 2017 16:40:56 +0200 | eberlm | Tuned Library/Sublist.thy | changeset | files |
| Mon, 29 May 2017 09:14:15 +0200 | eberlm | reorganised material on sublists | changeset | files |
| Sun, 28 May 2017 15:46:26 +0200 | nipkow | removed GreatestM | changeset | files |
| Sun, 28 May 2017 13:57:43 +0200 | nipkow | introduced arg_max | changeset | files |
| Sun, 28 May 2017 11:32:15 +0200 | nipkow | added is_arg_min | changeset | files |
| Sun, 28 May 2017 08:07:40 +0200 | nipkow | removed LeastM; is now arg_min | changeset | files |
| Sat, 27 May 2017 22:52:08 +0200 | nipkow | more arg_min | changeset | files |
| Sat, 27 May 2017 15:48:22 +0200 | wenzelm | no exit code from build processes by default, e.g. relevant for non-strict results of remote_build_history; | changeset | files |
| Sat, 27 May 2017 13:24:01 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 27 May 2017 13:20:35 +0200 | wenzelm | clarified build errors; | changeset | files |
| Sat, 27 May 2017 13:07:27 +0200 | wenzelm | tuned layout; | changeset | files |
| Sat, 27 May 2017 13:01:25 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 27 May 2017 12:57:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 27 May 2017 12:52:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 27 May 2017 12:36:27 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 27 May 2017 12:33:14 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 27 May 2017 00:30:48 +0200 | wenzelm | tuned layout; | changeset | files |
| Fri, 26 May 2017 23:33:42 +0200 | wenzelm | show errors from build_log database; | changeset | files |
| Fri, 26 May 2017 23:21:50 +0200 | wenzelm | support for message underline and tooltips; | changeset | files |
| Fri, 26 May 2017 21:40:52 +0200 | wenzelm | unused; | changeset | files |
| Fri, 26 May 2017 20:52:01 +0200 | wenzelm | store errors in build_history logs and database; | changeset | files |
| Fri, 26 May 2017 19:39:02 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 26 May 2017 15:28:46 +0200 | wenzelm | more selective database access; | changeset | files |
| Fri, 26 May 2017 15:19:21 +0200 | wenzelm | store errors in build db; | changeset | files |
| Fri, 26 May 2017 11:51:45 +0200 | wenzelm | more correct and complete output of control characters; | changeset | files |
| Fri, 26 May 2017 11:33:09 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 26 May 2017 11:11:25 +0200 | wenzelm | do not expose ML interrupt in Scala; | changeset | files |
| Fri, 26 May 2017 11:09:16 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 25 May 2017 21:59:53 +0200 | wenzelm | prefer strict result (in contrast to 0f3b0a929c02); | changeset | files |
| Thu, 25 May 2017 21:55:17 +0200 | wenzelm | avoid conflict with generated settings of other_isabelle; | changeset | files |
| Thu, 25 May 2017 21:32:51 +0200 | wenzelm | more progress information, for the sake of sporadic dropouts; | changeset | files |
| Thu, 25 May 2017 21:20:22 +0200 | wenzelm | restricted perspective depending on the caret -- important for reactivity when editing big files; | changeset | files |
| Thu, 25 May 2017 19:50:37 +0200 | wenzelm | parallel retrieval of PIDE markup; | changeset | files |
| Thu, 25 May 2017 19:23:01 +0200 | wenzelm | clarified output: do not require "method", which is absent for ResponseMessage; | changeset | files |
| Thu, 25 May 2017 18:13:16 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 25 May 2017 18:07:29 +0200 | wenzelm | clarified message logging; | changeset | files |
| Thu, 25 May 2017 17:32:35 +0200 | wenzelm | more operations; | changeset | files |
| Thu, 25 May 2017 17:28:11 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 25 May 2017 14:38:41 +0200 | haftmann | obsolete special case | changeset | files |
| Wed, 24 May 2017 16:35:18 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 24 May 2017 15:04:13 +0200 | wenzelm | proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings; | changeset | files |
| Wed, 24 May 2017 11:39:00 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 24 May 2017 11:17:23 +0200 | wenzelm | proper index; | changeset | files |
| Tue, 23 May 2017 21:31:33 +0200 | wenzelm | updated package; | changeset | files |
| Tue, 23 May 2017 20:38:34 +0200 | wenzelm | support text overview colors via decorations; | changeset | files |
| Tue, 23 May 2017 14:23:26 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 23 May 2017 13:47:31 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 23 May 2017 11:47:35 +0200 | wenzelm | clarified build.out progress; | changeset | files |
| Tue, 23 May 2017 11:25:20 +0200 | wenzelm | more persistent build.out; | changeset | files |
| Tue, 23 May 2017 10:59:01 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 22 May 2017 23:24:25 +0200 | wenzelm | less ambitious parallelism to make this work more robustly on Windows; | changeset | files |
| Mon, 22 May 2017 21:49:41 +0200 | wenzelm | more settings; | changeset | files |
| Mon, 22 May 2017 21:47:07 +0200 | wenzelm | support for ISABELLE_GHC on Windows, using the native version (mingw32); | changeset | files |
| Mon, 22 May 2017 19:42:52 +0200 | wenzelm | permissive trim_line as in Scala, e.g. relevant for poly/TextIO.print output on Windows; | changeset | files |
| Mon, 22 May 2017 19:34:01 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 22 May 2017 15:19:44 +0200 | wenzelm | more settings; | changeset | files |
| Mon, 22 May 2017 14:44:07 +0200 | wenzelm | more robust treatment of generated strings; | changeset | files |