diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2015-12-02 17:52:07 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2015-12-02 17:52:07 +0100 |
| commit | 2374a23fb7ebfa547eb16ce2ab8dc9efb2a3f855 (patch) | |
| tree | 41ff206208c9602040fbeeeaf0d5c08f5cca2c7b /doc/refman/RefMan-ext.tex | |
| parent | 42c68765690710b16f3e878bf1d914eaa75d8291 (diff) | |
Univs/Program: update the universe context with global universe
constraints at the time of Next Obligation/Solve Obligations so that
interleaving definitions and obligation solving commands works properly.
Diffstat (limited to 'doc/refman/RefMan-ext.tex')
0 files changed, 0 insertions, 0 deletions