| Sun, 16 Nov 2025 23:15:06 +0100 |
wenzelm |
update to sqlite-3.51.0.0;
default tip
|
changeset |
files
|
| Sun, 16 Nov 2025 23:08:59 +0100 |
wenzelm |
updated to prismjs-1.30.0;
|
changeset |
files
|
| Sun, 16 Nov 2025 23:06:04 +0100 |
wenzelm |
proper Nodejs.setup;
|
changeset |
files
|
| Sun, 16 Nov 2025 22:42:11 +0100 |
wenzelm |
provide pdfjs_demo to test the component;
|
changeset |
files
|
| Sun, 16 Nov 2025 22:10:58 +0100 |
wenzelm |
update to pdfjs-5.4.394;
|
changeset |
files
|
| Sun, 16 Nov 2025 21:28:30 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 16 Nov 2025 18:06:10 +0100 |
wenzelm |
proper formatting for formal margin=72;
|
changeset |
files
|
| Sun, 16 Nov 2025 18:04:40 +0100 |
wenzelm |
more standard quotes;
|
changeset |
files
|
| Sun, 16 Nov 2025 18:02:21 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 16 Nov 2025 16:25:38 +0100 |
wenzelm |
merged
|
changeset |
files
|
| ... |
| Wed, 05 Nov 2025 12:57:55 +0100 |
Isabelle2025-1-RC1 |
changeset |
changelog |
files
|
| Tue, 07 Oct 2025 11:51:15 +0200 |
Isabelle2025-1-RC0 |
changeset |
changelog |
files
|
| Wed, 12 Mar 2025 11:39:00 +0100 |
Isabelle2025 |
changeset |
changelog |
files
|
| Mon, 20 May 2024 15:43:51 +0200 |
Isabelle2024 |
changeset |
changelog |
files
|
| Mon, 11 Sep 2023 19:30:48 +0200 |
Isabelle2023 |
changeset |
changelog |
files
|
| Mon, 24 Oct 2022 20:37:32 +0200 |
Isabelle2022 |
changeset |
changelog |
files
|
| Mon, 24 Jan 2022 21:29:37 +0100 |
build_history_base_arm |
changeset |
changelog |
files
|
| Sat, 11 Dec 2021 11:24:48 +0100 |
Isabelle2021-1 |
changeset |
changelog |
files
|
| Sat, 20 Feb 2021 13:42:37 +0100 |
Isabelle2021 |
changeset |
changelog |
files
|
| Mon, 13 Apr 2020 22:08:14 +0200 |
Isabelle2020 |
changeset |
changelog |
files
|
| ... |