Leonardo de Moura
|
52e3505599
|
feat(frontends/lean): display warning message when importing file that uses 'sorry'
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-08-02 00:47:58 -07:00 |
|
Leonardo de Moura
|
f39b2eb70f
|
feat(frontends/lean): add --flyinfo option
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-07-31 19:54:21 -07:00 |
|
Leonardo de Moura
|
9cf93c8299
|
feat(library/error_handling): add helpers classes for creating WARNING and INFO annotations for flycheck
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-07-31 17:41:39 -07:00 |
|
Leonardo de Moura
|
92e90fbd07
|
feat(library/error_handling): add flycheck_scope helper class
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-07-31 12:45:54 -07:00 |
|
Leonardo de Moura
|
ffa175009b
|
feat(frontends/lean): use tactics for solving unassigned metavariables
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-29 09:50:16 -07:00 |
|
Leonardo de Moura
|
3e222e2f22
|
refactor(kernel/formatter): add environment as an extra argument to the formatter
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-04-30 10:28:07 -07:00 |
|
Leonardo de Moura
|
f7e705badb
|
refactor(library/kernel_bindings): reactive some of the kernel Lua bindings
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-04-29 11:52:09 -07:00 |
|
Leonardo de Moura
|
ccb9faf065
|
refactor(*): error messages
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-01-13 16:54:21 -08:00 |
|