| changeset 41608 | 5a3696574ebb |
| parent 41600 | 46d65140c5de |
| child 41617 | 0f98d8f27912 |
| 41607:351aa5f7d130 | 41608:5a3696574ebb |
|---|---|
55 isatest@macbroy28:hg-isabelle/.hg/hgrc |
55 isatest@macbroy28:hg-isabelle/.hg/hgrc |
56 isatest@atbroy102:hg-isabelle/.hg/hgrc |
56 isatest@atbroy102:hg-isabelle/.hg/hgrc |
57 |
57 |
58 - makedist: REPOS_NAME="isabelle-release" |
58 - makedist: REPOS_NAME="isabelle-release" |
59 |
59 |
60 - isatest@macbroy28:devel-page/content/index.content |
|
61 |