isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

Admin/components/PLATFORMS

14 months ago	wenzelm	update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html	file \| diff \| annotate
14 months ago	wenzelm	official support for arm64-linux, despite a few missing tools;	file \| diff \| annotate
15 months ago	wenzelm	proper "linux_arm", amending 76ad72736e9e;	file \| diff \| annotate
15 months ago	wenzelm	rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";	file \| diff \| annotate
19 months ago	wenzelm	update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina;	file \| diff \| annotate
19 months ago	wenzelm	updated Linux baseline to Ubuntu 18.04;	file \| diff \| annotate
19 months ago	wenzelm	more platform tests: initial support for macOS 14 Sonoma;	file \| diff \| annotate
19 months ago	wenzelm	more PLATFORMS;	file \| diff \| annotate
21 months ago	wenzelm	more hardware details;	file \| diff \| annotate
22 months ago	wenzelm	update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);	file \| diff \| annotate
23 months ago	wenzelm	more PLATFORMS;	file \| diff \| annotate
2022-10-25	wenzelm	more macOS platforms, without reference hardware;	file \| diff \| annotate
2022-08-31	wenzelm	updated to current Cygwin, near 3.3.5-1;	file \| diff \| annotate
2022-08-31	wenzelm	test macOS 12 Monterey via laramac01;	file \| diff \| annotate
2022-06-29	wenzelm	more macOS versions;	file \| diff \| annotate
2021-10-02	wenzelm	updated to current Cygwin, near 3.2.0;	file \| diff \| annotate
2021-07-25	wenzelm	clarified version: Apple now counts like 11, 12, ...;	file \| diff \| annotate
2021-05-07	wenzelm	misc updates and clarification;	file \| diff \| annotate
2021-05-07	wenzelm	clarified file name;	file \| diff \| annotate \| base

less more (0) tip

isabelle