2011-08-09 huffman instance real_basis_with_inner < perfect_space
2011-08-10 wenzelm old term operations are legacy;
2011-08-10 wenzelm moved old code generator to src/Tools/;
2011-08-10 wenzelm avoid OldTerm operations -- with subtle changes of semantics;
2011-08-10 wenzelm avoid OldTerm operations -- with subtle changes of semantics;
2011-08-10 wenzelm avoid OldTerm operations -- with subtle changes of semantics;
2011-08-10 wenzelm avoid OldTerm operations -- with subtle changes of semantics;
2011-08-10 wenzelm tuned signature;
2011-08-10 wenzelm Goal.forked: clarified handling of interrupts;
2011-08-10 wenzelm future_job: explicit indication of interrupts;
2011-08-10 wenzelm more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning;
2011-08-10 wenzelm synchronized cancel and flushing of Multithreading.interrupted state, to ensure that interrupts stay within task boundaries;
2011-08-10 wenzelm tuned source structure;
2011-08-10 wenzelm bash_output_fifo blocks on Cygwin 1.7.x;
2011-08-09 berghofe rename_bvs now avoids introducing name clashes between schematic variables
2011-08-09 wenzelm merged
2011-08-09 haftmann tuned proofs
2011-08-09 haftmann merged
2011-08-09 haftmann tuned header
2011-08-09 haftmann more uniform naming scheme for Inf/INF and Sup/SUP lemmas
2011-08-09 kleing removed "extremely ambigous" warning; has been ignored by everyone for years.
2011-08-09 wenzelm misc tuning and clarification;
2011-08-09 wenzelm tuned whitespace;
2011-08-09 blanchet support local HOATPs
2011-08-09 blanchet document local HOATPs
2011-08-09 blanchet workaround THF parser limitation
2011-08-09 blanchet LEO-II also supports FOF
2011-08-09 wenzelm misc tuning and simplification;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip