Thomas Sturm 040b5656ba Simplified call to reduce and log stderr 2 years ago
..
breduce c37d24d8ba Working on SMT in Nancy. Redlog help system is WIP but stable. 6 years ago
casefold 24b985f0d2 Bring Jlisp closer to being able to profile the system 8 years ago
emacs c840570414 reduce-run.el package-name completion, etc. 4 years ago
libreduce edd6595002 A further round of updates to configure.ac. autoconf 2.61 is (I think) 3 years ago
newfront 6f950b1366 Update autogen.sh with the hope that this will make "./configure --with-both" 2 years ago
qreduce c138b9a29b qreduce was completely broken. This is work in progress. 9 years ago
rbench 040b5656ba Simplified call to reduce and log stderr 2 years ago
redfront edd6595002 A further round of updates to configure.ac. autoconf 2.61 is (I think) 3 years ago
rlsmt 001ece4cdd A new, simpler rlsmt script 2 years ago
texmacs 1d46d384be Reduce plugin for TeXMacs: 3 years ago