diff options
| author | Théo Zimmermann | 2019-04-18 15:10:06 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:09:55 +0200 |
| commit | bb4b9469ddf45d76385cdcddf27dc82266a8c73b (patch) | |
| tree | 004ecb488bbf64dae38492e0d495c051d6080c05 /doc | |
| parent | 61c780ad8138bfa768977d652c25741dad35d448 (diff) | |
Remove 8.10 entries from CHANGES file.
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 |