equal
deleted
inserted
replaced
52 |
52 |
53 - Mac OS X: check recent MacTeX; |
53 - Mac OS X: check recent MacTeX; |
54 |
54 |
55 - Windows: check recent MiKTeX; |
55 - Windows: check recent MiKTeX; |
56 |
56 |
|
57 - Phabricator: |
|
58 . src/Doc/System/Phabricator.thy: check/update underlying Ubuntu version |
|
59 . src/Pure/Tools/phabricator.scala: check/update hardwired repository versions; |
|
60 |
57 |
61 |
58 Repository fork |
62 Repository fork |
59 =============== |
63 =============== |
60 |
64 |
61 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
65 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |