lean2/src/util/CMakeLists.txt

add_library(util trace.cpp debug.cpp name.cpp exception.cpp
  hash.cpp escaped.cpp bit_tricks.cpp safe_arith.cpp ascii.cpp)
Add pretty-print: format.cpp, format.h 2013-07-23 01:30:25 +00:00			`add_library(util trace.cpp debug.cpp name.cpp exception.cpp`
Create pp::unicode option. The idea is to be able to disable unicode characters, but still be able to use mixfix notation. Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> 2013-09-03 17:09:19 +00:00			`hash.cpp escaped.cpp bit_tricks.cpp safe_arith.cpp ascii.cpp)`