mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-15 05:44:58 +00:00
Document the change to the release naming scheme.
Estimated hours taken: 0.25 Branches: main NEWS: Document the change to the release naming scheme. VERSION: Document how major releases are to be named.
This commit is contained in:
7
NEWS
7
NEWS
@@ -1,6 +1,13 @@
|
||||
NEWS since Mercury 0.13.1
|
||||
-------------------------
|
||||
|
||||
Changes to the release numbering:
|
||||
|
||||
The release is now numbered according to the year and month the
|
||||
release was made, eg 10.04 is the release made in April 2010.
|
||||
Previously the release naming scheme was 0.x where x was the x'th
|
||||
major release of the system.
|
||||
|
||||
Changes to the Mercury language:
|
||||
|
||||
* We have removed support for automatic initialisation of solver variables.
|
||||
|
||||
8
VERSION
8
VERSION
@@ -13,9 +13,13 @@ VERSION=DEV
|
||||
#
|
||||
# Pattern Examples Explanation
|
||||
# ------- ------- -----------
|
||||
# *.* 0.6, 0.7 Major releases.
|
||||
# YY.MM 09.04, 10.10 Major releases are named after the
|
||||
# year and month they are released in.
|
||||
#
|
||||
# *.*.* 0.6.1 Bug-fix releases.
|
||||
# YY.MM.* 10.04.1 Bug-fix releases.
|
||||
# Note these releases are named after
|
||||
# the year and month the orginal release
|
||||
# was made in.
|
||||
#
|
||||
# rotd-<DATE> rotd-1997-07-28 "Release-of-the-day" releases.
|
||||
# These releases are snapshots of our
|
||||
|
||||
Reference in New Issue
Block a user