| Sun, 11 Mar 2018 13:18:41 +0100 | wenzelm | clarified AFP partitioning; | changeset | files |
| Sat, 10 Mar 2018 19:36:59 +0000 | haftmann | abstract algebraic bit operations | changeset | files |
| Sat, 10 Mar 2018 20:24:00 +0100 | wenzelm | more balanced AFP partitioning; | changeset | files |
| Sat, 10 Mar 2018 15:52:47 +0100 | wenzelm | workaround for occasional deadlock seen in HOL-Proofs with threads=2; | changeset | files |
| Sat, 10 Mar 2018 14:43:15 +0100 | wenzelm | adapted to 3869b2400e22; | changeset | files |
| Sat, 10 Mar 2018 14:20:27 +0100 | wenzelm | tuned output; | changeset | files |
| Sat, 10 Mar 2018 14:11:58 +0100 | wenzelm | more options: client without implicit server startup; | changeset | files |
| Sat, 10 Mar 2018 13:54:55 +0100 | wenzelm | console interaction with line-editor; | changeset | files |
| Sat, 10 Mar 2018 13:37:22 +0100 | wenzelm | more flexible message formats; | changeset | files |
| Sat, 10 Mar 2018 13:03:01 +0100 | wenzelm | clarified interrupt handling; | changeset | files |
| Sat, 10 Mar 2018 12:51:04 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 10 Mar 2018 12:34:07 +0100 | wenzelm | option for console interaction; | changeset | files |
| Sat, 10 Mar 2018 11:55:54 +0100 | wenzelm | more uniform Bytes.read_line/read_block operations; | changeset | files |
| Sat, 10 Mar 2018 11:40:25 +0100 | wenzelm | auto update; | changeset | files |
| Sat, 10 Mar 2018 11:08:20 +0100 | wenzelm | more comments; | changeset | files |
| Fri, 09 Mar 2018 17:03:10 +0100 | wenzelm | more general TTY loop; | changeset | files |
| Fri, 09 Mar 2018 15:43:54 +0100 | wenzelm | added Reply.NOTE for asynchronous notifications; | changeset | files |
| Fri, 09 Mar 2018 15:36:27 +0100 | wenzelm | more operations; | changeset | files |
| Fri, 09 Mar 2018 15:24:19 +0100 | wenzelm | more thorough init: purge inactive entries; | changeset | files |
| Fri, 09 Mar 2018 15:09:08 +0100 | wenzelm | more generous timeout; | changeset | files |
| Fri, 09 Mar 2018 15:06:35 +0100 | wenzelm | Entry.connection: proview password here; | changeset | files |
| Fri, 09 Mar 2018 14:35:18 +0100 | wenzelm | clarified initial protocol; | changeset | files |
| Fri, 09 Mar 2018 14:30:13 +0100 | wenzelm | ignore empty lines; | changeset | files |
| Fri, 09 Mar 2018 14:26:08 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 09 Mar 2018 13:36:52 +0100 | wenzelm | more robust read_line after shutdown; | changeset | files |
| Fri, 09 Mar 2018 13:11:47 +0100 | wenzelm | more implicit wire protocol; | changeset | files |
| Fri, 09 Mar 2018 13:07:00 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 09 Mar 2018 13:03:55 +0100 | wenzelm | clarified server start, notably for invocation within regular Isabelle/Scala process; | changeset | files |
| Fri, 09 Mar 2018 12:45:53 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 09 Mar 2018 12:42:34 +0100 | wenzelm | tuned signature; | changeset | files |