diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/changes.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 4797363063..645be500fd 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -195,6 +195,9 @@ Coqtop proper -R/-Q options. For example, given -R Foo foolib using -topfile foolib/bar.v will set the module name to Foo.Bar. +- Experimental: Coq flags and options can now be set on the + command-line, e.g. `-set "Universe Polymorphism=true"`. + Specification language, type inference - Fixing a missing check in interpreting instances of existential |