Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/main
changeset 78011 896e255d4fc4
parent 77764 44a6ac96314d
child 78051 0912b519c5db
equal deleted inserted replaced
78010:6c2494750a4e 78011:896e255d4fc4 
    10 flatlaf-2.4
 
    10 flatlaf-2.4
 
    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-20211004
 
    14 isabelle_setup-20230206
 
    14 isabelle_setup-20230206
 
    15 jdk-17.0.6
 
    15 jdk-17.0.7
 
    16 jedit-20211103
 
    16 jedit-20211103
 
    17 jfreechart-1.5.3
 
    17 jfreechart-1.5.3
 
    18 jortho-1.0-2
 
    18 jortho-1.0-2
 
    19 jsoup-1.15.4
 
    19 jsoup-1.15.4
 
    20 kodkodi-1.5.7
 
    20 kodkodi-1.5.7
isabelle