| changeset 82224 | 979b63c3b4c1 |
| parent 82182 | 137559b26f74 |
| child 82417 | 9f0f37a12ea8 |
| 82223:706562be40fc | 82224:979b63c3b4c1 |
|---|---|
6 cvc5-1.2.0-1 |
6 cvc5-1.2.0-1 |
7 e-3.1-1 |
7 e-3.1-1 |
8 elm-0.19.1 |
8 elm-0.19.1 |
9 easychair-3.5 |
9 easychair-3.5 |
10 eptcs-1.7.0 |
10 eptcs-1.7.0 |
11 find_facts_web-20250215 |
11 find_facts_web-20250223 |
12 flatlaf-3.5.4-1 |
12 flatlaf-3.5.4-1 |
13 foiltex-2.1.4b |
13 foiltex-2.1.4b |
14 idea-icons-20210508 |
14 idea-icons-20210508 |
15 isabelle_fonts-20241227 |
15 isabelle_fonts-20241227 |
16 isabelle_setup-20240327 |
16 isabelle_setup-20240327 |