 Ulf Norell
|
6cc76903fd
[ fix #5683 ] don't generalize if we're already generalizing
|
3 years ago |
|
Ulf Norell
|
255f21ad11
[ #4291 ] update user manual
|
4 years ago |
 Nils Anders Danielsson
|
c857009994
Fixed #5058.
|
4 years ago |
 Kostiantyn Rybnikov
|
1e58948d9b
Fix typo
|
5 years ago |
 Andreas Abel
|
e8ddf7a026
[ user-manual ] added keyword `variable` to list of keywords
|
5 years ago |
|
Ulf Norell
|
a0fdf61af5
clean up user manual for generalizable variables
|
6 years ago |
|
Ulf Norell
|
ee4a2b1ef8
[ fix #3354 ] order generalized variables by mention instead of definition site
|
6 years ago |
|
Ulf Norell
|
cfbb9529c1
[ #952, #1886, #3296 ] changelog and user manual
|
6 years ago |
 Guillaume Allais
|
8e5b33d7ad
[ fix ] user manual for generalization
|
6 years ago |
 Peter Divianszky
|
fdd65a2a7b
add documentation for generalization of declared variables
|
6 years ago |
