Skip to content

Commit 66c4f1f

Browse files
idhugoididhugoid
committed
Adds WWW to URLs
1 parent 79644ec commit 66c4f1f

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

53 files changed

+102
-102
lines changed

‎_config.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ collections:
1111
workshops:
1212
output: true
1313

14-
url: https://overturetool.org
14+
url: https://www.overturetool.org
1515
future: true
1616

1717
defaults:

‎_netmeetings/Net-Meeting-100.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ See [issues closed since last release](https://github.com/overturetool/overture/
6464

6565
#### Overture Traffic
6666

67-
See download stats on [the downloads page](https://overturetool.org/download/)
67+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6868

6969
#### The C code generator
7070

@@ -82,7 +82,7 @@ The Strategic Research Agenda is reviewed every other NetMeeting.
8282

8383
## Publications Status and Plans
8484

85-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
85+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
8686

8787

8888
## Any Other Business

‎_netmeetings/Net-Meeting-101.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,7 @@ Furthermore, in response to the request for future release dates, the following
6363

6464
#### Overture Traffic
6565

66-
See download stats on [the downloads page](https://overturetool.org/download/)
66+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6767

6868
#### Overture workshop
6969

@@ -75,7 +75,7 @@ This has been published, and action 80-1 closed. The agenda is currently availab
7575

7676
## Publications Status and Plans
7777

78-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
78+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
7979

8080
## Any Other Business
8181

‎_netmeetings/Net-Meeting-102.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -54,11 +54,11 @@ Limited progress. Not yet integrated with Overture; effort requried to do this.
5454

5555
#### Overture Traffic
5656

57-
See download stats on [the downloads page](https://overturetool.org/download/)
57+
See download stats on [the downloads page](https://www.overturetool.org/download/)
5858

5959
## Publications Status and Plans
6060

61-
Also see [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
61+
Also see [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
6262

6363
Workshop papers have been removed to the workshop wiki. It was noted that the page is out of date.
6464
VB: C code generator paper to be revisited.

‎_netmeetings/Net-Meeting-103.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,7 @@ Next Overture release is due by December 5, 2016.
7474

7575
#### Overture Traffic
7676

77-
See download stats on [the downloads page](https://overturetool.org/download/)
77+
See download stats on [the downloads page](https://www.overturetool.org/download/)
7878

7979

8080
## Follow up on the Business Canvas session from the Overture Workshop
@@ -91,7 +91,7 @@ NP has prepared a document that contains a number of "How can we?" questions. He
9191

9292
## Publications Status and Plans
9393

94-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
94+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
9595

9696

9797
## New Actions

‎_netmeetings/Net-Meeting-104.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ See [Net Meeting Actions](https://github.com/overturetool/overturetool.github.io
5757

5858
#### Overture Traffic
5959

60-
See download stats on [the downloads page](https://overturetool.org/download/)
60+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6161

6262
* Around 400 downloads for Overture 2.4.4
6363

@@ -69,9 +69,9 @@ The business model for Overture see https://github.com/overturetool/overture/wik
6969

7070
## Publications Status and Plans
7171

72-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
72+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
7373

74-
* PGL updated the bib file with all papers from the last workshop. Available at: https://overturetool.org/publications/
74+
* PGL updated the bib file with all papers from the last workshop. Available at: https://www.overturetool.org/publications/
7575

7676
## New Actions
7777

‎_netmeetings/Net-Meeting-105.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ Next Overture release is due March 6, 2017. See [issue list](https://github.com/
9696

9797
#### Overture Traffic
9898

99-
See download stats on [the downloads page](https://overturetool.org/download/)
99+
See download stats on [the downloads page](https://www.overturetool.org/download/)
100100

101101
#### Business Model
102102

@@ -114,7 +114,7 @@ The Strategic Research Agenda is reviewed every other NetMeeting.
114114

115115
## Publications Status and Plans
116116

117-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
117+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
118118

119119
## Any Other Business
120120

‎_netmeetings/Net-Meeting-106.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ We (VB, PJ and MH) are happy to announce the first major release of the VDM to C
5555

5656
#### Overture
5757

58-
We (KL and PJ) have added a [Frequently Asked Questions (FAQ) section](https://overturetool.org/faq/) to the overturetool.org website. Currently it addresses the issues that MacOS Sierra users may experience when they try to open a freshly downloaded version of Overture.
58+
We (KL and PJ) have added a [Frequently Asked Questions (FAQ) section](https://www.overturetool.org/faq/) to the overturetool.org website. Currently it addresses the issues that MacOS Sierra users may experience when they try to open a freshly downloaded version of Overture.
5959

6060
## Release Planning
6161

@@ -67,7 +67,7 @@ Next release of Overture, version 2.4.8, is due by June 5, 2017.
6767

6868
#### Overture Traffic
6969

70-
See download stats on [the downloads page](https://overturetool.org/download/)
70+
See download stats on [the downloads page](https://www.overturetool.org/download/)
7171

7272
#### Business Model
7373

@@ -79,7 +79,7 @@ The Strategic Research Agenda is reviewed every other NetMeeting.
7979

8080
## Publications Status and Plans
8181

82-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
82+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
8383

8484
## Any Other Business
8585

‎_netmeetings/Net-Meeting-107.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ PGL and JF are suggesting to hold the 15th Overture workshop in Newcastle on Sep
6161

6262
#### Overture Traffic
6363

64-
See download stats on [the downloads page](https://overturetool.org/download/)
64+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6565

6666

6767
## Strategic Research Agenda
@@ -71,7 +71,7 @@ The Strategic Research Agenda is reviewed every other NetMeeting.
7171

7272
## Publications Status and Plans
7373

74-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
74+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
7575

7676

7777
## Any Other Business

‎_netmeetings/Net-Meeting-108.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ We hope to have RM #39 ("order relations") implemented in the August 14 release
5454

5555
#### Overture Traffic
5656

57-
See download stats on [the downloads page](https://overturetool.org/download/)
57+
See download stats on [the downloads page](https://www.overturetool.org/download/)
5858

5959

6060
## Strategic Research Agenda
@@ -64,7 +64,7 @@ The Strategic Research Agenda is reviewed every other NetMeeting.
6464

6565
## Publications Status and Plans
6666

67-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
67+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
6868

6969

7070
## Any Other Business

‎_netmeetings/Net-Meeting-109.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ This is on track and should contain the RM39 eq/ord language changes, as well as
5858

5959
#### Overture Traffic
6060

61-
See download stats on [the downloads page](https://overturetool.org/download/)
61+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6262

6363
#### Business Development
6464

@@ -72,7 +72,7 @@ The Strategic Research Agenda was not reviewed.
7272

7373
Luis and PJ are planning to submit a paper to SAC 2018 about the AGCO project (harvesting). There have not yet been any EasyChair submissions for Workshop 15, and we were reminded of the deadlines - abstracts by 14th July, papers by 24th July.
7474

75-
Also see [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
75+
Also see [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
7676

7777
## Any Other Business
7878

‎_netmeetings/Net-Meeting-110.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -55,17 +55,17 @@ Next Overture release is due by September 11.
5555

5656
## Community Development / Overture workshop status
5757

58-
Check out the [Overture 15 workshop page](https://overturetool.org/workshops/15th-Overture-Workshop.html), for the latest information about the upcoming workshop in Newcastle.
58+
Check out the [Overture 15 workshop page](https://www.overturetool.org/workshops/15th-Overture-Workshop.html), for the latest information about the upcoming workshop in Newcastle.
5959

6060
#### Overture Traffic
6161

62-
See download stats on [the downloads page](https://overturetool.org/download/)
62+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6363

6464
## Publications Status and Plans
6565

6666
TO will make updates.
6767

68-
Also see [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
68+
Also see [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
6969

7070
## Any Other Business
7171

‎_netmeetings/Net-Meeting-111.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -48,11 +48,11 @@ Next release of Overture, version 2.5.4, is due by November 11, 2017.
4848

4949
#### Overture Traffic
5050

51-
See download stats on [the downloads page](https://overturetool.org/download/)
51+
See download stats on [the downloads page](https://www.overturetool.org/download/)
5252

5353
#### 16th Overture Workshop
5454

55-
Please check the [call for papers](https://overturetool.org/workshops/16th-Overture-Workshop.html)
55+
Please check the [call for papers](https://www.overturetool.org/workshops/16th-Overture-Workshop.html)
5656

5757
## Strategic Research Agenda
5858

@@ -61,7 +61,7 @@ No discussion this meeting.
6161

6262
## Publications Status and Plans
6363

64-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
64+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
6565

6666
## Any Other Business
6767

‎_netmeetings/Net-Meeting-112.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -57,15 +57,15 @@ PGL and Tomo (among others) will be attending a INTO-CPS tutorial in Japan.
5757

5858
#### Overture Traffic
5959

60-
See download stats on [the downloads page](https://overturetool.org/download/)
60+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6161

6262
## Strategic Research Agenda
6363

6464
The Strategic Research Agenda is reviewed every other NetMeeting.
6565

6666
## Publications Status and Plans
6767

68-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
68+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
6969

7070
## Any Other Business
7171

‎_netmeetings/Net-Meeting-113.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -75,11 +75,11 @@ Four meetings are proposed for 2018 to encourage more people to attend. Meeting
7575

7676
#### Overture Traffic
7777

78-
See download stats on [the downloads page](https://overturetool.org/download/). Note that many of these downloads are thought to be due to bots which download and re-distribute free software.
78+
See download stats on [the downloads page](https://www.overturetool.org/download/). Note that many of these downloads are thought to be due to bots which download and re-distribute free software.
7979

8080
## Publications Status and Plans
8181

82-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
82+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
8383

8484
NP drew attention to the next FORMALiSE meeting on 2nd June 2018, Gothenburg, Sweden: http://www.formalise.org/
8585

‎_netmeetings/Net-Meeting-114.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -92,11 +92,11 @@ Steve Riddle from Newcastle has made a MOOC (Massive Open Online Course) on cybe
9292

9393
#### Core NM Dates
9494

95-
Upcoming core meetings are listed [here](https://overturetool.org/netmeetings/).
95+
Upcoming core meetings are listed [here](https://www.overturetool.org/netmeetings/).
9696

9797
## Publications Status and Plans
9898

99-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
99+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
100100

101101
## Any Other Business
102102

‎_netmeetings/Net-Meeting-115.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -59,13 +59,13 @@ No release plans.
5959

6060
#### Core NM Dates
6161

62-
Upcoming core meetings are listed [here](https://overturetool.org/netmeetings/).
62+
Upcoming core meetings are listed [here](https://www.overturetool.org/netmeetings/).
6363

6464
## The Overture workshop
6565

6666
All of the papers have been reviewed, and the Discussion phase has ended. Announcements will be send out tonight. A preliminary workshop programme is ready and will be announced later today. To enable discussion, the proceedings will be available before the workshop.
6767

68-
Please see the [workshop page](https://overturetool.org/workshops/16th-Overture-Workshop.html) for additional details.
68+
Please see the [workshop page](https://www.overturetool.org/workshops/16th-Overture-Workshop.html) for additional details.
6969

7070
## Reviving the Overture Strategic Research Agenda
7171

@@ -79,7 +79,7 @@ The workshop organisers will prepare ahead of time, by email and other means so
7979

8080
## Publications Status and Plans
8181

82-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
82+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
8383

8484
## Any Other Business
8585

‎_netmeetings/Net-Meeting-116.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ Next release of Overture, [version 2.6.4](https://github.com/overturetool/overtu
5757

5858
#### Overture Traffic
5959

60-
See download stats on [the downloads page](https://overturetool.org/download/)
60+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6161

6262
## Licensing of Overture source code
6363

@@ -86,7 +86,7 @@ Based on the discussion, people seem to lean towards a more permissive license.
8686

8787
## Publications Status and Plans
8888

89-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
89+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
9090

9191
## Any Other Business
9292

‎_netmeetings/Net-Meeting-117.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ Release dates for 2019 can be found [here](https://github.com/overturetool/overt
5959

6060
#### Overture Traffic
6161

62-
See download stats on [the downloads page](https://overturetool.org/download/)
62+
See download stats on [the downloads page](https://www.overturetool.org/download/)
6363

6464
#### The next Overture workshop
6565

@@ -71,7 +71,7 @@ We're awaiting MV's input on this.
7171

7272
## Publications Status and Plans
7373

74-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
74+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
7575

7676
## Any Other Business
7777

‎_netmeetings/Net-Meeting-118.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -73,19 +73,19 @@ Release dates for 2019 can be found [here](https://github.com/overturetool/overt
7373

7474
#### Overture Traffic
7575

76-
See download stats on [the downloads page](https://overturetool.org/download/)
76+
See download stats on [the downloads page](https://www.overturetool.org/download/)
7777

7878
#### The next Overture workshop
7979

80-
We need input from CG and LC. KP will follow up on this. The workshop page is available [here](https://overturetool.org/workshops/17th-overture-workshop.html).
80+
We need input from CG and LC. KP will follow up on this. The workshop page is available [here](https://www.overturetool.org/workshops/17th-overture-workshop.html).
8181

8282
## Licensing of Overture source code
8383

8484
We're awaiting MV's input on this.
8585

8686
## Publications Status and Plans
8787

88-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
88+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
8989

9090
## Any Other Business
9191

‎_netmeetings/Net-Meeting-119.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ The next release, which is due June 03, includes several new features and bug fi
7171

7272
#### Overture Traffic
7373

74-
See download stats on [the downloads page](https://overturetool.org/download/)
74+
See download stats on [the downloads page](https://www.overturetool.org/download/)
7575

7676
#### The next Overture workshop
7777

@@ -83,7 +83,7 @@ No progress. See new action.
8383

8484
## Publications Status and Plans
8585

86-
See [Planned Publications](https://overturetool.org/publications/PlannedPublications.html).
86+
See [Planned Publications](https://www.overturetool.org/publications/PlannedPublications.html).
8787

8888
## Any Other Business
8989

0 commit comments

Comments
 (0)