4 commits

Author	SHA1	Message	Date
Leonardo de Moura	75c63ec921	refactor(*): list<name> ==> obj_list<name>	2018-05-23 15:48:43 -07:00
Gabriel Ebner	07c25338b9	feat(shell/server): add search command	2017-05-22 09:40:38 -07:00
Gabriel Ebner	baa4c48f1f	refactor(util/lean_path): explicitly pass around search path	2017-05-01 14:11:38 -07:00
Sebastian Ullrich	60a244e4f9	fix(frontends/lean,shell): fix file dependencies	2017-03-17 18:20:44 -07:00

Renamed from src/shell/completion.cpp (Browse further)