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.
lib/fonts/IsabelleTextBold.ttf
changeset 40966 d5a198eb16b5
parent 34882 7ad1189d54ca
child 43457 fe539d517750
equal deleted inserted replaced
40965:54b6c9e1c157 40966:d5a198eb16b5 
     1 (binary file font/ttf, hash: 1863a1d5b63516df6a17628c95a4ddfd5875f438)
 
     1 (binary file font/ttf, hash: 737be4c2f305a0c326575eb66bdb514004738f7f)
isabelle