Gabriel Ebner
|
98fb21eab4
|
chore(frontends/lean/{parser_state,parser_pos_provider}): compiler warnings
|
2017-04-01 20:23:33 +02:00 |
|
Gabriel Ebner
|
318910f99b
|
refactor(frontends/lean/parser): store snapshots in a lazy async list
|
2017-03-27 14:00:53 -07:00 |
|
Gabriel Ebner
|
5f872912e0
|
refactor(shell/lean): set exit status 1 iff at least one error was reported
|
2017-03-23 08:57:56 +01:00 |
|
Gabriel Ebner
|
595cbb8fe9
|
refactor(*): task<T>, log_tree, cancellation_token
|
2017-03-23 08:57:52 +01:00 |
|
Sebastian Ullrich
|
e0856284b0
|
feat(frontends/lean,emacs): tactic info before elaboration, fix many edge cases
|
2017-03-17 18:20:44 -07:00 |
|
Sebastian Ullrich
|
421a6d6f01
|
feat(frontends/lean/interactive,emacs): highlight current tactic parameter
|
2017-03-17 18:20:44 -07:00 |
|
Leonardo de Moura
|
aa5eea6416
|
feat(frontends/lean): add scope management to parser_state, remove unnecessary undef_ids
|
2017-02-08 11:58:14 -08:00 |
|
diakopter
|
91b526fdd1
|
chore(frontends/lean): clang warnings
|
2017-02-05 14:03:15 -08:00 |
|
Leonardo de Moura
|
160011b80e
|
feat(frontends/lean/parser_state): parser_state API
|
2017-02-04 13:38:53 -08:00 |
|
Leonardo de Moura
|
36dc796f6c
|
refactor(frontends/lean): add more parser_state methods
|
2017-02-04 11:37:26 -08:00 |
|
Leonardo de Moura
|
d7ab2bb196
|
feat(frontends/lean): add basic parser_state methods
|
2017-02-04 10:57:51 -08:00 |
|
Leonardo de Moura
|
abe0f1f386
|
feat(frontends/lean): new parser_state skeleton
|
2017-02-03 21:01:49 -08:00 |
|