equal
deleted
inserted
replaced
52 x86_64-linux without 32bit C/C++ libraries |
52 x86_64-linux without 32bit C/C++ libraries |
53 |
53 |
54 - check "Handler catches all exceptions", using |
54 - check "Handler catches all exceptions", using |
55 PolyML.Compiler.reportExhaustiveHandlers := true; |
55 PolyML.Compiler.reportExhaustiveHandlers := true; |
56 |
56 |
|
57 - Mac OS X: check app bundle with Retina display; |
|
58 |
57 |
59 |
58 Repository fork |
60 Repository fork |
59 =============== |
61 =============== |
60 |
62 |
61 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
63 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |