| changeset 81674 | 70d2f72098df |
| parent 81640 | c734c2a15e32 |
| child 81711 | a55b236f9e1d |
| 81673:68a9ada23bf8 | 81674:70d2f72098df |
|---|---|
8 easychair-3.5 |
8 easychair-3.5 |
9 eptcs-1.7.0 |
9 eptcs-1.7.0 |
10 flatlaf-2.6 |
10 flatlaf-2.6 |
11 foiltex-2.1.4b |
11 foiltex-2.1.4b |
12 idea-icons-20210508 |
12 idea-icons-20210508 |
13 isabelle_fonts-20211004 |
13 isabelle_fonts-20241227 |
14 isabelle_setup-20240327 |
14 isabelle_setup-20240327 |
15 javamail-20240109 |
15 javamail-20240109 |
16 jdk-21.0.5 |
16 jdk-21.0.5 |
17 jedit-20241115 |
17 jedit-20241115 |
18 jfreechart-1.5.3 |
18 jfreechart-1.5.3 |