| Fri, 20 Jul 2012 22:19:45 +0200 | blanchet | renamed "iter" fact filter to "MePo" (Meng--Paulson) | changeset | files |
| Fri, 20 Jul 2012 22:19:45 +0200 | blanchet | handle local facts smoothly in MaSh | changeset | files |
| Fri, 20 Jul 2012 22:19:45 +0200 | blanchet | fixed explosion when computing accessibility | changeset | files |
| Fri, 20 Jul 2012 22:19:45 +0200 | blanchet | use "eproof_ram" script if available (plug-in replacement for "eproof", but faster) | changeset | files |
| Fri, 20 Jul 2012 22:19:45 +0200 | blanchet | tuning | changeset | files |
| Fri, 20 Jul 2012 21:05:47 +0200 | wenzelm | merged | changeset | files |
| Fri, 20 Jul 2012 21:04:03 +0200 | wenzelm | further imitation of "usedir" shell script; | changeset | files |
| Fri, 20 Jul 2012 10:53:25 +0200 | huffman | make nat_cancel_sums simprocs robust in the presence of schematic variables; add regression tests | changeset | files |