michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/src/frontend
History
Leonardo de Moura 43fa55723a Pretty print condensed definitions 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-08-15 19:56:29 -07:00
..
builtin_notation.cpp Move pretty printer to frontend. Add support for mixfix pretty printing 2013-08-15 19:02:28 -07:00
builtin_notation.h Move pretty printer to frontend. Add support for mixfix pretty printing 2013-08-15 19:02:28 -07:00
CMakeLists.txt Move pretty printer to frontend. Add support for mixfix pretty printing 2013-08-15 19:02:28 -07:00
frontend.cpp Move pretty printer to frontend. Add support for mixfix pretty printing 2013-08-15 19:02:28 -07:00
frontend.h Move pretty printer to frontend. Add support for mixfix pretty printing 2013-08-15 19:02:28 -07:00
operator_info.cpp Move pretty printer to frontend. Add support for mixfix pretty printing 2013-08-15 19:02:28 -07:00
operator_info.h Move pretty printer to frontend. Add support for mixfix pretty printing 2013-08-15 19:02:28 -07:00
pp.cpp Pretty print condensed definitions 2013-08-15 19:56:29 -07:00
pp.h Move pretty printer to frontend. Add support for mixfix pretty printing 2013-08-15 19:02:28 -07:00
scanner.cpp Improve comments 2013-08-15 19:02:28 -07:00
scanner.h Add notation support to frontend object 2013-08-14 18:17:18 -07:00