 Jesper Cockx
|
fa09a8fe74
[ re #4908 ] add explicit --sized-types flag to test suite
|
3 rokov pred |
 G. Allais
|
96860c1612
[ fix build ] --rewriting is now infective (#5182)
|
4 rokov pred |
 Andreas Abel
|
f46b435609
[ #3901 ] document new syntax {A} -> B and {{A}} -> B in user manual
|
5 rokov pred |
|
Jesper Cockx
|
b41ccdac0e
[ re #3534 ] Update documentation
|
6 rokov pred |
|
Jesper Cockx
|
2ec67e49c6
[ re #3534 ] Improve documentation on what kind of types can be handled by instance search
|
6 rokov pred |
 Nils Anders Danielsson
|
303d573bb5
Fixed a whitespace violation.
|
6 rokov pred |
|
Jesper Cockx
|
e38b70e47a
[ instance ] Update user manual w.r.t. recent changes to instance resolution
|
6 rokov pred |
|
Jesper Cockx
|
bde7519beb
[ doc ] Fix + move documentation for overlapping instances
|
6 rokov pred |
|
Jesper Cockx
|
36d1122fba
[ instance ] Document overlapping instances in the user manual
|
6 rokov pred |
|
Jesper Cockx
|
c8329a2196
[ instance ] Disable overlapping instances by default
|
6 rokov pred |
|
Jesper Cockx
|
e41e2cb105
[ re #723 ] Remove restriction on unconstrained metas for instance search
|
6 rokov pred |
|
Jesper Cockx
|
3ba41e022d
[ fix #3387 ] Document how to use private instances
|
6 rokov pred |
 Nikita Karetnikov
|
670c21ebcb
Typo fixes
|
7 rokov pred |
|
Nils Anders Danielsson
|
ca80f4343f
[ #2755 ] Modified the documentation of instance arguments.
|
7 rokov pred |
 Andrés Sicard-Ramírez
|
92f63375fc
[ user manual ] Used `:ref:` on some cross-references.
|
8 rokov pred |
|
Andrés Sicard-Ramírez
|
1035c49bba
[ fixed #2478 ] Used `:ref:` on cross-references.
|
8 rokov pred |
|
Andreas Abel
|
92a0c56abb
[ user-manual ] Fixed #2146, document spacing around unicode braces.
|
8 rokov pred |
 Ulf Norell
|
acd4e0ca94
[ fixed #2288 ] documentation
|
8 rokov pred |
|
Ulf Norell
|
62d9f1916b
[ #2269 ] documentation
|
8 rokov pred |
 Víctor López Juan
|
b507471bb7
[ doc ] Converted remaining into literate files
|
8 rokov pred |
