 Jesper Cockx
|
fa09a8fe74
[ re #4908 ] add explicit --sized-types flag to test suite
|
3 年之前 |
 G. Allais
|
96860c1612
[ fix build ] --rewriting is now infective (#5182)
|
4 年之前 |
 herminie
|
4cce39b7ae
[ fix #3874 ] updated core language in user manual (#4673)
|
4 年之前 |
 Ulf Norell
|
79d29e92d3
[fix #3955] document module keyword in using/hiding/renaming
|
5 年之前 |
|
Ulf Norell
|
9eaf1d234d
[ fix #3928 ] clarify documentation for `open import` with modifiers
|
5 年之前 |
 Andreas Abel
|
92a338244f
[ #1346 ] CHANGELOG and documentation in user manual
|
5 年之前 |
|
Andreas Abel
|
6e6877b26b
[ fixed #3331 ] updated user manual on modules
|
6 年之前 |
 Fredrik Nordvall Forsberg
|
e3f598313c
[ user manual ] move record update (fixes #2665)
|
7 年之前 |
|
Andreas Abel
|
8556fee211
user-manual: agdarized module-system
|
8 年之前 |
