equal
deleted
inserted
replaced
226 which is organised like a Mercurial repository. A green point next to a change |
226 which is organised like a Mercurial repository. A green point next to a change |
227 indicates that the change passes the corresponding tests (for this of course you |
227 indicates that the change passes the corresponding tests (for this of course you |
228 have to allow some time). You can summit any changes to the testboard using the |
228 have to allow some time). You can summit any changes to the testboard using the |
229 command |
229 command |
230 |
230 |
231 @{text [display] "$ hg push -f ssh://...@macbroy21.informatik.tu-muenchen.de\\ |
231 @{text [display] "$ hg push -f ssh://...@hgbroy.informatik.tu-muenchen.de\\ |
232 //home/isabelle-repository/repos/testboard"} |
232 //home/isabelle-repository/repos/testboard"} |
233 |
233 |
234 where the dots need to be replaced by your login name. Note that for |
234 where the dots need to be replaced by your login name. Note that for |
235 pushing changes to the testboard you need to add the option @{text "-f"}, |
235 pushing changes to the testboard you need to add the option @{text "-f"}, |
236 which should \emph{never} be used with the main Isabelle |
236 which should \emph{never} be used with the main Isabelle |