3 commits

Author	SHA1	Message	Date
Leonardo de Moura	c8b9c98eb6	refactor(library/blast/backward): use priority_queue, make sure head is normalized when building index	2015-12-28 12:26:06 -08:00
Leonardo de Moura	26d0a62052	refactor(*): make sure we use LEAN_DEFAULT_PRIORITY ... We recently implemented the attribute manager.	2015-12-28 10:47:56 -08:00
Leonardo de Moura	f679ce0da9	refactor(frontends/lean): move 'print_cmd' to separate module	2015-12-28 09:08:18 -08:00