6 weeks ago paulson Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression
6 weeks ago Lukas Bartl tuned documentation and order of instantiated facts
6 weeks ago wenzelm merged
6 weeks ago wenzelm update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html
6 weeks ago haftmann direct symbolic implementations of and, or, xor on integer
6 weeks ago haftmann corrected
6 weeks ago wenzelm merged
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip