| changeset 17769 | 3a324f3b34f6 |
| parent 17671 | e9e341bc7d42 |
| 17768:72575258a561 | 17769:3a324f3b34f6 |
|---|---|
14 path = /home/proj/isabelle/website/dist |
14 path = /home/proj/isabelle/website/dist |
15 comment = Isabelle distribution |
15 comment = Isabelle distribution |
16 |
16 |
17 # Sydney legacy link |
17 # Sydney legacy link |
18 [isabelle-dist] |
18 [isabelle-dist] |
19 path = /home/html/isabelle/html-data/dist/ |
19 path = /home/proj/isabelle/website |
20 comment = Isabelle distribution area |
20 comment = Isabelle website |
21 |