summaryrefslogtreecommitdiff
path: root/math/lean4/files
ModeNameSize
-rw-r--r--patch-src_CMakeLists.txt1626logplainblame
-rw-r--r--patch-src_bin_leanc.in584logplainblame
-rw-r--r--patch-src_runtime_io.cpp624logplainblame
-rw-r--r--patch-src_runtime_process.cpp673logplainblame
-rw-r--r--patch-src_runtime_stack__overflow.cpp405logplainblame
-rw-r--r--patch-stage0_src_CMakeLists.txt1640logplainblame
-rw-r--r--patch-stage0_src_bin_leanc.in598logplainblame
-rw-r--r--patch-stage0_src_runtime_io.cpp585logplainblame
-rw-r--r--patch-stage0_src_runtime_process.cpp687logplainblame
-rw-r--r--patch-stage0_src_runtime_stack__overflow.cpp640logplainblame