Leonardo de Moura d48dbccb00 fix(shell): allow multiple spaces after -D option ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2014-09-05 18:07:54 -07:00
..
cmake	feat(build): add build option for jemalloc	2014-07-22 13:44:47 -07:00
emacs	feat(emacs/lean-settings): pass 'pp.width' to lean via linja	2014-09-05 16:35:01 -07:00
frontends	feat(frontends/lean/server): sort fuzzy matches by number of errors	2014-09-05 18:03:04 -07:00
kernel	refactor(kernel/inductive): replace recursor name, use '.rec' instead of '_rec'	2014-09-04 15:04:57 -07:00
library	refactor(library): add namespaces 'or', 'and' and 'iff'	2014-09-04 21:25:21 -07:00
shell	fix(shell): allow multiple spaces after -D option	2014-09-05 18:07:54 -07:00
tests	feat(util): add fuzzy string search procedure	2014-09-05 18:01:09 -07:00
util	feat(util): add fuzzy string search procedure	2014-09-05 18:01:09 -07:00
CMakeLists.txt	refactor(library/declaration_index): store declarations in a map	2014-09-04 07:42:18 -07:00
CTestConfig.cmake
CTestCustom.cmake.in
Doxyfile
githash.h.in
memcheck.supp
version.h.in