Admin/polyml/TODO
changeset 11478 0f57375aafce
parent 11477 4d042d3f957d
child 11479 697dcaaf478f
equal deleted inserted replaced
11477:4d042d3f957d 11478:0f57375aafce
     1 
       
     2 - fix / improve bin/polyml wrapper (unused by Isabelle);
       
     3 
       
     4 - support ppc-linux version;