diff options
| author | Enrico Tassi | 2020-11-30 10:03:47 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2020-12-03 16:03:37 +0100 |
| commit | c8fc6b8f0d357b01f919b8346f45d0bd020f4fe2 (patch) | |
| tree | 6ef0513d9eab859916b5c0e578ca41e6071f198c | |
| parent | 2dbc0f240a861870c5d59e35749b446b0fe824bf (diff) | |
[changelog] update markup
| -rw-r--r-- | doc/changelog/01-kernel/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/02-specification-language/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/03-notations/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/04-tactics/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/05-tactic-language/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/06-ssreflect/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/07-commands-and-options/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/08-tools/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/09-coqide/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/10-standard-library/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/11-infrastructure-and-dependencies/00000-title.rst | 3 | ||||
| -rw-r--r-- | doc/changelog/12-misc/00000-title.rst | 3 |
12 files changed, 24 insertions, 12 deletions
diff --git a/doc/changelog/01-kernel/00000-title.rst b/doc/changelog/01-kernel/00000-title.rst index f680628a05..287382eab0 100644 --- a/doc/changelog/01-kernel/00000-title.rst +++ b/doc/changelog/01-kernel/00000-title.rst @@ -1,3 +1,4 @@ -**Kernel** +Kernel +^^^^^^ diff --git a/doc/changelog/02-specification-language/00000-title.rst b/doc/changelog/02-specification-language/00000-title.rst index 99bd2c5b44..2d3e49a69d 100644 --- a/doc/changelog/02-specification-language/00000-title.rst +++ b/doc/changelog/02-specification-language/00000-title.rst @@ -1,3 +1,4 @@ -**Specification language, type inference** +Specification language, type inference +^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ diff --git a/doc/changelog/03-notations/00000-title.rst b/doc/changelog/03-notations/00000-title.rst index abc532df11..0780bf9468 100644 --- a/doc/changelog/03-notations/00000-title.rst +++ b/doc/changelog/03-notations/00000-title.rst @@ -1,3 +1,4 @@ -**Notations** +Notations +^^^^^^^^^ diff --git a/doc/changelog/04-tactics/00000-title.rst b/doc/changelog/04-tactics/00000-title.rst index 3c7802d632..afa7821f40 100644 --- a/doc/changelog/04-tactics/00000-title.rst +++ b/doc/changelog/04-tactics/00000-title.rst @@ -1,3 +1,4 @@ -**Tactics** +Tactics +^^^^^^^ diff --git a/doc/changelog/05-tactic-language/00000-title.rst b/doc/changelog/05-tactic-language/00000-title.rst index b34d190298..bc12b18b7d 100644 --- a/doc/changelog/05-tactic-language/00000-title.rst +++ b/doc/changelog/05-tactic-language/00000-title.rst @@ -1,3 +1,4 @@ -**Tactic language** +Tactic language +^^^^^^^^^^^^^^^ diff --git a/doc/changelog/06-ssreflect/00000-title.rst b/doc/changelog/06-ssreflect/00000-title.rst index 2e724627ec..43cccd6d60 100644 --- a/doc/changelog/06-ssreflect/00000-title.rst +++ b/doc/changelog/06-ssreflect/00000-title.rst @@ -1,3 +1,4 @@ -**SSReflect** +SSReflect +^^^^^^^^^ diff --git a/doc/changelog/07-commands-and-options/00000-title.rst b/doc/changelog/07-commands-and-options/00000-title.rst index 1a0272983e..fe50ae0e16 100644 --- a/doc/changelog/07-commands-and-options/00000-title.rst +++ b/doc/changelog/07-commands-and-options/00000-title.rst @@ -1,3 +1,4 @@ -**Commands and options** +Commands and options +^^^^^^^^^^^^^^^^^^^^ diff --git a/doc/changelog/08-tools/00000-title.rst b/doc/changelog/08-tools/00000-title.rst index bf462744fb..581585a8a7 100644 --- a/doc/changelog/08-tools/00000-title.rst +++ b/doc/changelog/08-tools/00000-title.rst @@ -1,3 +1,4 @@ -**Tools** +Tools +^^^^^ diff --git a/doc/changelog/09-coqide/00000-title.rst b/doc/changelog/09-coqide/00000-title.rst index 0fc27cf380..81cf05b844 100644 --- a/doc/changelog/09-coqide/00000-title.rst +++ b/doc/changelog/09-coqide/00000-title.rst @@ -1,3 +1,4 @@ -**CoqIDE** +CoqIDE +^^^^^^ diff --git a/doc/changelog/10-standard-library/00000-title.rst b/doc/changelog/10-standard-library/00000-title.rst index d517a0e709..f636f48084 100644 --- a/doc/changelog/10-standard-library/00000-title.rst +++ b/doc/changelog/10-standard-library/00000-title.rst @@ -1,3 +1,4 @@ -**Standard library** +Standard library +^^^^^^^^^^^^^^^^ diff --git a/doc/changelog/11-infrastructure-and-dependencies/00000-title.rst b/doc/changelog/11-infrastructure-and-dependencies/00000-title.rst index 6b301f59d3..7358fe192f 100644 --- a/doc/changelog/11-infrastructure-and-dependencies/00000-title.rst +++ b/doc/changelog/11-infrastructure-and-dependencies/00000-title.rst @@ -1,3 +1,4 @@ -**Infrastructure and dependencies** +Infrastructure and dependencies +^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ diff --git a/doc/changelog/12-misc/00000-title.rst b/doc/changelog/12-misc/00000-title.rst index 5e709e2b27..1391ec2164 100644 --- a/doc/changelog/12-misc/00000-title.rst +++ b/doc/changelog/12-misc/00000-title.rst @@ -1,3 +1,4 @@ -**Miscellaneous** +Miscellaneous +^^^^^^^^^^^^^ |