diff options
| author | Pierre-Marie Pédrot | 2020-11-02 13:02:14 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-02 13:02:14 +0100 |
| commit | e4575cb8e80d1cb8b65dc349e4f98432e8bda523 (patch) | |
| tree | 47e5977eeb3677a9e94a98bb9add2f1dd2bbe030 /doc | |
| parent | a392b0225a606b6c8fe0051f0d301d5f3b6d5cd3 (diff) | |
| parent | 05f8308dbed75ee223b4d0818f1604072cffe671 (diff) | |
Merge PR #13145: Adding support for printing goal names in CoqIDE
Ack-by: Zimmi48
Reviewed-by: ppedrot
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/09-coqide/13145-master+coqide-printing-goal-names-support.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/changelog/09-coqide/13145-master+coqide-printing-goal-names-support.rst b/doc/changelog/09-coqide/13145-master+coqide-printing-goal-names-support.rst new file mode 100644 index 0000000000..f7446cc5aa --- /dev/null +++ b/doc/changelog/09-coqide/13145-master+coqide-printing-goal-names-support.rst @@ -0,0 +1,4 @@ +- **Added:** + Support for flag :flag:`Printing Goal Names` in View menu + (`#13145 <https://github.com/coq/coq/pull/13145>`_, + by Hugo Herbelin). |