Initial snark14m import
[snark14.git] / tools / Input /
drwxr-xr-x   ..
-rwxr-xr-x 5563 Makefile
-rwxr-xr-x 4399 QPL
-rwxr-xr-x 23598 SnarkInput.cpp
-rwxr-xr-x 1781 SnarkInput.h
-rwxr-xr-x 8239 basis.cpp
-rwxr-xr-x 1218 basis.h
-rwxr-xr-x 95277 create.cpp
-rwxr-xr-x 7898 create.h
-rwxr-xr-x 5835 display.cpp
-rwxr-xr-x 1389 display.h
-rwxr-xr-x 12840 evaluate.cpp
-rwxr-xr-x 1580 evaluate.h
-rwxr-xr-x 18181 execute.cpp
-rwxr-xr-x 1758 execute.h
-rwxr-xr-x 3069 experiment.cpp
-rwxr-xr-x 836 experiment.h
-rwxr-xr-x 122842 icons.h
-rwxr-xr-x 8670 lines.cpp
-rwxr-xr-x 1216 lines.h
-rwxr-xr-x 5510 misc.cpp
-rwxr-xr-x 380 misc.h
-rwxr-xr-x 6571 mode.cpp
-rwxr-xr-x 1063 mode.h
-rwxr-xr-x 7513 picture.cpp
-rwxr-xr-x 1157 picture.h
-rwxr-xr-x 47981 projection.cpp
-rwxr-xr-x 4890 projection.h
-rwxr-xr-x 4210 punch.cpp
-rwxr-xr-x 1326 punch.h
-rwxr-xr-x 12150 select.cpp
-rwxr-xr-x 1325 select.h
-rwxr-xr-x 9713 skunk.cpp
-rwxr-xr-x 1774 skunk.h
-rwxr-xr-x 10302 stop.cpp
-rwxr-xr-x 1380 stop.h
-rwxr-xr-x 7214 super.cpp
-rwxr-xr-x 982 super.h
-rwxr-xr-x 4345 trace.cpp
-rwxr-xr-x 1190 trace.h
-rwxr-xr-x 415 variables.h