equal
deleted
inserted
replaced
619 } |
619 } |
620 |
620 |
621 |
621 |
622 /* repositories */ |
622 /* repositories */ |
623 |
623 |
624 val isabelle_repository: String = "https://isabelle.sketis.net/repos/isabelle" |
624 val isabelle_repository: Mercurial.Address = |
625 |
625 Mercurial.Address("https://isabelle.sketis.net/repos/isabelle") |
626 val afp_repository: String = "https://isabelle.sketis.net/repos/afp-devel" |
626 |
|
627 val afp_repository: Mercurial.Address = |
|
628 Mercurial.Address("https://isabelle.sketis.net/repos/afp-devel") |
627 } |
629 } |