Leonardo de Moura
|
48c58af9b5
|
feat(frontends/lean/parser): allow explicit universe level to be provided to aliases and locals
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-13 18:00:52 -07:00 |
|
Leonardo de Moura
|
a65c43c0db
|
feat(frontends/lean/builtin_cmds): add definition command family
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-13 17:30:35 -07:00 |
|
Leonardo de Moura
|
01cecb76db
|
feat(frontends/lean/builtin_cmds): add 'variable' command family
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-13 15:13:50 -07:00 |
|
Leonardo de Moura
|
3bde699fbe
|
feat(frontends/lean/parser): add parse_level
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-12 12:34:55 -07:00 |
|
Leonardo de Moura
|
5a008717a4
|
feat(frontends/lean/parser): add parse_notation
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-11 21:00:34 -07:00 |
|
Leonardo de Moura
|
8fcc25d55a
|
fix(frontends/lean/token_table): static initialization problem
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-11 10:56:04 -07:00 |
|
Leonardo de Moura
|
546f9dc00b
|
chore(frontends/lean): use consistent name conventions, rename token_set to token_table
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-10 09:18:57 -07:00 |
|