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/isabelle24.bdf
changeset 3082 9b68848654bf
parent 3064 f04f93e5c0a9
child 6281 25d41c118304
equal deleted inserted replaced
3081:71c54eb8ed1d 3082:9b68848654bf 
  2335 ENDCHAR
 
  2335 ENDCHAR
 
  2336 STARTCHAR space2
 
  2336 STARTCHAR space2
 
  2337 ENCODING 160
 
  2337 ENCODING 160
 
  2338 SWIDTH 600 0
 
  2338 SWIDTH 600 0
 
  2339 DWIDTH 15 0
 
  2339 DWIDTH 15 0
 
  2340 BBX 11 2 1 0
 
  2340 BBX 10 1 1 0
 
  2341 BITMAP
 
  2341 BITMAP
 
  2342 8420
 
  2342 f3c0
 
  2343 ffe0
 
       
  2344 ENDCHAR
 
  2343 ENDCHAR
 
  2345 STARTCHAR Gamma
 
  2344 STARTCHAR Gamma
 
  2346 ENCODING 161
 
  2345 ENCODING 161
 
  2347 SWIDTH 600 0
 
  2346 SWIDTH 600 0
 
  2348 DWIDTH 15 0
 
  2347 DWIDTH 15 0
isabelle