Haftungsausschluß.md KontaktHaskell {Haskell[208] Ada[466] Abap[622]}diese Dinge liegen außhalb unserer Verantwortung
# Unreleased changelog #
## When to add an entry? ##
All new features, user-visible changes to features, user-visible or
otherwise important infrastructure changes, and important bug fixes
should get a changelog entry.
Compatibility-breaking changes should always get a changelog entry,
which should explain what compatibility-breakage is to expect.
Pull requests changing the ML API in significant ways should add an
entry in [`dev/doc/changes.md`](../../dev/doc/changes.md).
## How to add an entry? ##
You should create a file in one of the sub-directories. The name of
the file should be `NNNNN-identifier.rst` where `NNNNN` is the number
of the pull request on five digits and `identifier` is whatever you
want.
This file should use the same format as the reference manual (as it
will be copied in there). You may reference the documentation you just
added with `:ref:`, `:tacn:`, `:cmd:`, `:opt:`, `:token:`, etc. See
the [documentation of the Sphinx format](../sphinx/README.rst) of the
manual for details.
The entry should be written using the following structure:
``` rst
- Description of the changes, with possible link to
:ref:`relevant-section` of the updated documentation
(`#PRNUM <https://github.com/coq/coq/pull/PRNUM>`_,
[fixes `#ISSUE1 <https://github.com/coq/coq/issues/ISSUE1>`_
[ and `#ISSUE2 <https://github.com/coq/coq/issues/ISSUE2>`_],]
by Full Name[, with help / review of Full Name]).
```
The description should be kept rather short and the only additional
required meta-information are the link to the pull request and the
full name of the author.
[ Seitenstruktur0.110Drucken
]