wenzelm [Tue, 07 Jan 2025 20:32:15 +0100] rev 81740
update release name;
wenzelm [Tue, 07 Jan 2025 15:28:11 +0100] rev 81739
Added tag Isabelle2025-RC0 for changeset bcb793b951c0
wenzelm [Mon, 06 Jan 2025 16:38:46 +0100] rev 81738
proper NEWS section;
wenzelm [Mon, 06 Jan 2025 16:35:59 +0100] rev 81737
proper latin "A" instead of greek "Alpha";
wenzelm [Mon, 06 Jan 2025 16:01:52 +0100] rev 81736
update to current jcef-1.0.61;
wenzelm [Mon, 06 Jan 2025 15:33:35 +0100] rev 81735
recovered "isabelle component_jcef" from bf537a75e872, adapted to 9fe5d8c70352 and 2a99fcb283ee;
wenzelm [Sun, 05 Jan 2025 22:28:05 +0100] rev 81734
tuned proofs;
wenzelm [Sun, 05 Jan 2025 21:17:36 +0100] rev 81733
tuned proofs;
wenzelm [Sun, 05 Jan 2025 18:10:34 +0100] rev 81732
more robust afp_repository, with regular hgweb URLs;
wenzelm [Sun, 05 Jan 2025 16:22:36 +0100] rev 81731
more documentation;
wenzelm [Sun, 05 Jan 2025 15:30:04 +0100] rev 81730
merged
wenzelm [Sun, 05 Jan 2025 15:18:54 +0100] rev 81729
tuned;
wenzelm [Sun, 05 Jan 2025 15:18:30 +0100] rev 81728
tuned (NB: string_ord is required here for its precedence on length);
wenzelm [Sun, 05 Jan 2025 15:04:42 +0100] rev 81727
more robust: ensure that Nginx is not superseded by implicit Apache dependencies (Ubuntu 24.04);
wenzelm [Sun, 05 Jan 2025 13:24:17 +0100] rev 81726
tuned NEWS;
wenzelm [Sun, 05 Jan 2025 13:21:10 +0100] rev 81725
drop obsolete URLs;
wenzelm [Sat, 04 Jan 2025 23:20:05 +0100] rev 81724
updated Ubuntu versions;
wenzelm [Sat, 04 Jan 2025 23:14:10 +0100] rev 81723
more robust defaults, notably for Ubuntu 24.04;
haftmann [Sat, 04 Jan 2025 20:24:12 +0100] rev 81722
delegate computation to integer thoroughly
wenzelm [Sat, 04 Jan 2025 21:38:13 +0100] rev 81721
merged
wenzelm [Sat, 04 Jan 2025 21:33:08 +0100] rev 81720
more robust: ensure that /run/sshd is present, which is required for ExecStartPre phase;
wenzelm [Sat, 04 Jan 2025 20:59:41 +0100] rev 81719
some support for Ubuntu 24.04;
wenzelm [Sat, 04 Jan 2025 16:22:05 +0100] rev 81718
tuned names: more uniform;
wenzelm [Sat, 04 Jan 2025 15:09:47 +0100] rev 81717
update NEWS / documentation / descriptions for Phorge (formerly Phabricator);
wenzelm [Sat, 04 Jan 2025 15:03:23 +0100] rev 81716
unused;
wenzelm [Sat, 04 Jan 2025 12:51:59 +0100] rev 81715
follow Phorge 2024 week 35;
haftmann [Sat, 04 Jan 2025 17:38:45 +0100] rev 81714
separate theory for tests checking bit operations
haftmann [Sat, 04 Jan 2025 14:41:30 +0100] rev 81713
optionally use shift operations on target numerals for efficient execution
haftmann [Sat, 04 Jan 2025 14:25:56 +0100] rev 81712
some bit operations on target numerals
wenzelm [Fri, 03 Jan 2025 22:35:28 +0100] rev 81711
rebuild E 3.1 on Windows/Cygwin, with patch for proper interrupts;
wenzelm [Thu, 02 Jan 2025 16:59:42 +0100] rev 81710
misc tuning and clarification: more explicit types;
proper normal form for repeated text entries;
wenzelm [Thu, 02 Jan 2025 12:49:39 +0100] rev 81709
misc tuning and updates for release;