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.
Admin/Release/CHECKLIST
changeset 73478 1be70e3de751
parent 73299 43ce3b8a25ee
child 73519 8f485a199874
equal deleted inserted replaced
73477:1d8a79aa2a99 73478:1be70e3de751 
    92 
    92 
    93 
    93 
    94 Post-release
 
    94 Post-release
 
    95 ============
 
    95 ============
 
    96 
    96 
       
    97 - update Admin/Release/official
 
       
    98 
    97 - update /home/isabelle and /home/isabelle/html-data
 
    99 - update /home/isabelle and /home/isabelle/html-data
isabelle