Gabriel Ebner
|
45d0525e52
|
feat(shell,emacs): new lean server protocol
|
2016-12-06 17:14:29 -08:00 |
|
Sebastian Ullrich
|
ef633abec7
|
chore(*): fix test and style
|
2016-11-08 08:37:41 -08:00 |
|
Leonardo de Moura
|
e98340ddae
|
chore(tests/lean/interactive): remove "interactive" tests
In Lean3, we will not use the --server option anymore
|
2016-09-19 17:20:44 -07:00 |
|
Leonardo de Moura
|
a1ea087f8e
|
fix(frontends/lean/info_manager): std::set insert is a noop if set already contains an equivalent element
|
2014-10-30 10:35:45 -07:00 |
|