Clean up implementation of printing options tablertoy-generate-command-line-texi-table
[maxima.git] / share / logic / 
treedb0146e6234f0251b9e4e914fdbecf65f991cc05
drwxr-xr-x   ..
-rw-r--r-- 55 .gitignore
-rw-r--r-- 18092 COPYING
-rw-r--r-- 8214 Ksimplifier.lisp
-rw-r--r-- 272 Makefile.am
-rw-r--r-- 345 TODO
-rw-r--r-- 2725 logic.dem
-rw-r--r-- 20337 logic.lisp
-rw-r--r-- 1004 logic.mac
-rw-r--r-- 14907 logic.texi
-rw-r--r-- 3704 rtest_logic.mac