Sebastian Ullrich
|
273753f3fc
|
chore(tests): mass-update for pp.binder_types false
|
2016-06-02 11:28:00 -07:00 |
|
Leonardo de Moura
|
29763190ad
|
fix(tests/lean): adjust some tests to changes in the standard library
|
2015-11-08 14:04:56 -08:00 |
|
Floris van Doorn
|
a127a676eb
|
fix(tests): fix tests to reflect changes
|
2015-05-26 21:37:02 -07:00 |
|
Leonardo de Moura
|
c53b96c8d3
|
feat(frontends/lean): print all options for overloaded identifier
closes #608
|
2015-05-18 17:14:17 -07:00 |
|
Leonardo de Moura
|
3e5796acb2
|
fix(tests/lean/abbrev1): to reflect recent changes
|
2015-04-18 10:40:46 -07:00 |
|
Leonardo de Moura
|
f9832fb89f
|
test(tests/lean/abbrev1): add test for abbreviation command
|
2015-02-10 18:28:48 -08:00 |
|