| Fri, 05 Jul 2024 09:52:56 +0200 | Fabian Huch | use ansi colored diffs; | changeset | files |
| Fri, 05 Jul 2024 09:47:21 +0200 | Fabian Huch | add diffs to build manager; | changeset | files |
| Thu, 04 Jul 2024 13:50:14 +0200 | Fabian Huch | clarified: components vs. extra components; | changeset | files |
| Thu, 04 Jul 2024 09:57:40 +0200 | Fabian Huch | compress reports; | changeset | files |
| Wed, 03 Jul 2024 21:11:24 +0200 | Fabian Huch | clarified build report; | changeset | files |
| Wed, 03 Jul 2024 21:54:17 +0200 | wenzelm | merged | changeset | files |
| Wed, 03 Jul 2024 21:22:52 +0200 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Wed, 03 Jul 2024 21:11:53 +0200 | wenzelm | clarified signature, following 43323d886ea3; | changeset | files |
| Wed, 03 Jul 2024 20:59:30 +0200 | wenzelm | clarified signature: more direct operation; | changeset | files |
| Wed, 03 Jul 2024 20:35:10 +0200 | wenzelm | clarified signature: more direct Bytes.raw and subsequent UTF-8 default decoding; | changeset | files |
| Wed, 03 Jul 2024 20:18:36 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 03 Jul 2024 15:24:34 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 03 Jul 2024 13:54:48 +0200 | wenzelm | unused; | changeset | files |
| Wed, 03 Jul 2024 10:16:39 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 03 Jul 2024 10:14:47 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 03 Jul 2024 10:09:59 +0200 | wenzelm | unused; | changeset | files |
| Wed, 03 Jul 2024 10:07:39 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 Jul 2024 19:42:13 +0200 | nipkow | simpler theorem | changeset | files |
| Wed, 03 Jul 2024 09:14:39 +0200 | Fabian Huch | clarified: control verbosity; | changeset | files |
| Tue, 02 Jul 2024 23:29:46 +0200 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Tue, 02 Jul 2024 23:28:55 +0200 | wenzelm | more uniform Bytes.read_stream vs. File.read_stream; | changeset | files |
| Tue, 02 Jul 2024 23:13:35 +0200 | wenzelm | clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence; | changeset | files |
| Tue, 02 Jul 2024 22:38:00 +0200 | wenzelm | more specialized operations; | changeset | files |
| Tue, 02 Jul 2024 21:54:12 +0200 | wenzelm | notable performance tuning for Library.separated_chunks variants; | changeset | files |
| Tue, 02 Jul 2024 21:35:40 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Jul 2024 17:38:28 +0200 | Fabian Huch | only consider jobs late if they have ancestors (amending 12901c03b416); | changeset | files |
| Tue, 02 Jul 2024 16:42:13 +0200 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Tue, 02 Jul 2024 16:36:49 +0200 | wenzelm | misc tuning: more uniform read_stream vs. read_file; | changeset | files |
| Tue, 02 Jul 2024 16:15:50 +0200 | wenzelm | proper limit for read operation (amending ac4d53bc8f6b); | changeset | files |
| Tue, 02 Jul 2024 15:30:59 +0200 | wenzelm | presumably unused (see also f992769dea97); | changeset | files |
| Mon, 01 Jul 2024 18:22:33 +0200 | Fabian Huch | remove inactive (e.g., crashed) hosts from scheduling; | changeset | files |
| Mon, 01 Jul 2024 15:25:27 +0200 | Fabian Huch | tuned; | changeset | files |
| Mon, 01 Jul 2024 15:24:04 +0200 | Fabian Huch | add timeout to build manager tasks/jobs (e.g. for cluster builds that don't terminate after error on host); | changeset | files |
| Mon, 01 Jul 2024 14:46:51 +0200 | Fabian Huch | clarified: more operations; | changeset | files |
| Mon, 01 Jul 2024 14:31:30 +0200 | Fabian Huch | tuned website; | changeset | files |
| Mon, 01 Jul 2024 13:11:25 +0200 | wenzelm | more significant HOL/Examples; | changeset | files |
| Mon, 01 Jul 2024 13:09:03 +0200 | wenzelm | tuned document layout, for more prominent presentation; | changeset | files |
| Mon, 01 Jul 2024 12:59:46 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 01 Jul 2024 12:59:18 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 01 Jul 2024 12:40:54 +0200 | wenzelm | clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml; | changeset | files |
| Mon, 01 Jul 2024 12:37:03 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
| Sun, 30 Jun 2024 13:20:54 +0200 | wenzelm | merged | changeset | files |
| Sun, 30 Jun 2024 13:20:40 +0200 | wenzelm | follow Phorge 2024 week 19; | changeset | files |
| Sun, 30 Jun 2024 11:13:31 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 29 Jun 2024 14:57:04 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Sat, 29 Jun 2024 14:48:20 +0200 | wenzelm | clarified modules; | changeset | files |
| Sat, 29 Jun 2024 12:50:43 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Sat, 29 Jun 2024 12:42:47 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Sun, 30 Jun 2024 06:30:08 +0000 | haftmann | moved transitional theory Divides to HOL-Library | changeset | files |
| Thu, 27 Jun 2024 16:52:17 +0000 | haftmann | dropped dubious dest rule which always unfolds a definition in the assumptions | changeset | files |
| Fri, 28 Jun 2024 23:53:48 +0200 | wenzelm | more robust: avoid indirection of repository servers; | changeset | files |
| Fri, 28 Jun 2024 23:53:25 +0200 | wenzelm | tuned output; | changeset | files |
| Fri, 28 Jun 2024 21:01:57 +0200 | wenzelm | merged | changeset | files |
| Fri, 28 Jun 2024 18:30:26 +0200 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Fri, 28 Jun 2024 16:51:55 +0200 | wenzelm | minor performance tuning: allow recode operation during YXML parsing; | changeset | files |
| Fri, 28 Jun 2024 15:59:45 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Jun 2024 13:25:51 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Fri, 28 Jun 2024 13:46:06 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Jun 2024 13:20:18 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Jun 2024 13:14:15 +0200 | wenzelm | tuned; | changeset | files |