| changeset 75051 | a755733c1eb5 |
| parent 75047 | 9fcf80ceb863 |
| child 75076 | 23a97a547a9e |
| 75050:f1c53e78d0f0 | 75051:a755733c1eb5 |
|---|---|
8 flatlaf-1.6 |
8 flatlaf-1.6 |
9 idea-icons-20210508 |
9 idea-icons-20210508 |
10 isabelle_fonts-20211004 |
10 isabelle_fonts-20211004 |
11 isabelle_setup-20210922 |
11 isabelle_setup-20210922 |
12 jdk-17.0.1+12 |
12 jdk-17.0.1+12 |
13 jedit-20211019 |
13 jedit-20211103 |
14 jfreechart-1.5.3 |
14 jfreechart-1.5.3 |
15 jortho-1.0-2 |
15 jortho-1.0-2 |
16 kodkodi-1.5.7 |
16 kodkodi-1.5.7 |
17 minisat-2.2.1 |
17 minisat-2.2.1 |
18 nunchaku-0.5 |
18 nunchaku-0.5 |