Soonho Kong 8c0f01ac34 doc(emacs/README.md): do package-refresh-contents only once ... Close #233		2014-10-08 10:41:52 -07:00
..
cmake	feat(src/cmake/modules/CleanOlean.cmake): add CleanOlean.cmake	2014-09-14 01:40:21 -07:00
emacs	doc(emacs/README.md): do package-refresh-contents only once	2014-10-08 10:41:52 -07:00
frontends	feat(frontends/lean): variables/parameters and check commands have access to all section variables/parameters, closes #231	2014-10-08 08:40:55 -07:00
init	refactor(*): remove dependency to thread_local C++11 keyword, the	2014-09-24 12:51:04 -07:00
kernel	refactor(kernel/macro_definition_cell): improve macro get_type API	2014-10-07 16:38:31 -07:00
library	refactor(library/unifier): allow general 'unify' procedure to take an initial substitution as argument	2014-10-07 17:30:57 -07:00
shell	feat(CMakeLists.txt): use bin/package_version if needed	2014-10-07 16:58:44 -07:00
tests	refactor(kernel): rename var_decl to constant_assumption	2014-10-02 17:55:34 -07:00
util	feat(util/lean_path.cpp): add "exe_path/../lib/lean" to LEAN_PATH	2014-10-07 13:38:23 -07:00
CMakeLists.txt	feat(CMakeLists.txt): use bin/package_version if needed	2014-10-07 16:58:44 -07:00
CTestConfig.cmake
CTestCustom.cmake.in
Doxyfile
githash.h.in
memcheck.supp
version.h.in	feat(CMakeLists.txt): use bin/package_version if needed	2014-10-07 16:58:44 -07:00