HTTP/2 302 server: nginx date: Sun, 21 Dec 2025 16:17:01 GMT content-type: text/plain; charset=utf-8 content-length: 0 x-archive-redirect-reason: found capture at 20080724034250 location: https://web.archive.org/web/20080724034250/https://isabelle-devel.darwinports.com/diff server-timing: captures_list;dur=0.683055, exclusion.robots;dur=0.058947, exclusion.robots.policy;dur=0.048356, esindex;dur=0.011016, cdx.remote;dur=15.015803, LoadShardBlock;dur=479.310328, PetaboxLoader3.datanode;dur=138.075095, PetaboxLoader3.resolve;dur=15.866065 x-app-server: wwwb-app242-dc8 x-ts: 302 x-tr: 522 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0 set-cookie: wb-p-SERVER=wwwb-app242; path=/ x-location: All x-as: 14061 x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() HTTP/2 200 server: nginx date: Sun, 21 Dec 2025 16:17:02 GMT content-type: text/html; charset=ISO-8859-1 x-archive-orig-date: Thu, 24 Jul 2008 10:55:14 GMT x-archive-orig-server: Apache x-archive-orig-vary: Accept-Encoding x-archive-orig-content-length: 788 x-archive-orig-connection: close x-archive-orig-x_commoncrawl_parsesegmentid: 3902 x-archive-orig-x_commoncrawl_originalurl: https://isabelle-devel.darwinports.com/diff x-archive-orig-x_commoncrawl_urlfp: -7514481573759025011 x-archive-orig-x_commoncrawl_hostfp: 8901383986984265007 x-archive-orig-x_commoncrawl_signature: 0319437af7e5a0d9506a3bb56c0c101a x-archive-orig-x_commoncrawl_crawlno: 1 x-archive-orig-x_commoncrawl_fetchtimestamp: 1216896170235 x-archive-guessed-content-type: text/html x-archive-guessed-charset: utf-8 x-archive-orig-content-encoding: gzip memento-datetime: Thu, 24 Jul 2008 03:42:50 GMT link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate" content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org x-archive-src: 1217095932132_30-c/1217096114341_26.arc.gz server-timing: captures_list;dur=0.834396, exclusion.robots;dur=0.017758, exclusion.robots.policy;dur=0.011657, esindex;dur=0.008765, cdx.remote;dur=4.883816, LoadShardBlock;dur=193.584778, PetaboxLoader3.resolve;dur=114.545811, PetaboxLoader3.datanode;dur=256.754396, load_resource;dur=205.529087 x-app-server: wwwb-app242-dc8 x-ts: 200 x-tr: 430 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0 x-location: All x-as: 14061 x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() content-encoding: gzip

most recent changes, diff for isabelle-devel

Index: math/isabelle-dev