equal
deleted
inserted
replaced
48 |
48 |
49 - check "Handler catches all exceptions", using |
49 - check "Handler catches all exceptions", using |
50 PolyML.Compiler.reportExhaustiveHandlers := true; |
50 PolyML.Compiler.reportExhaustiveHandlers := true; |
51 |
51 |
52 |
52 |
|
53 Repository fork |
|
54 =============== |
|
55 |
|
56 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
|
57 |
|
58 - isabelle-release: hg tag; |
|
59 |
|
60 - isabelle: back to back to post-release mode -- after fork point; |
|
61 |
|
62 |
53 Packaging |
63 Packaging |
54 ========= |
64 ========= |
55 |
65 |
56 - fully-automated packaging (requires Mac OS X): |
66 - fully-automated packaging (requires Mac OS X): |
57 |
67 |