Leonardo de Moura
|
71077f5c89
|
feat(frontends/lean/parser): allow _ at level expressions
|
2014-10-01 10:24:44 -07:00 |
|
Leonardo de Moura
|
397395bbc9
|
feat(frontends/lean): allow user to associate priorities to class-instances, closes #180
|
2014-09-28 12:20:42 -07:00 |
|
Leonardo de Moura
|
29d6bff785
|
refactor(frontends/lean): explicit initialization/finalization
|
2014-09-23 10:00:36 -07:00 |
|
Leonardo de Moura
|
4437a65d0b
|
refactor(frontends/lean/builtin_cmds): explicit token initialization
|
2014-09-22 19:22:53 -07:00 |
|
Leonardo de Moura
|
531046626a
|
refactor(*): explicit initialization/finalization for environment extensions
|
2014-09-22 17:30:29 -07:00 |
|