| Sat, 03 Sep 2011 21:15:35 +0200 | wenzelm | Document.removed_versions on Scala side; | changeset | files |
| Sat, 03 Sep 2011 19:47:31 +0200 | wenzelm | discontinued predefined empty command (obsolete!?); | changeset | files |
| Sat, 03 Sep 2011 19:39:16 +0200 | wenzelm | discontinued global execs: store exec value directly within entries; | changeset | files |
| Sat, 03 Sep 2011 18:08:09 +0200 | wenzelm | Document.remove_versions on ML side; | changeset | files |
| Sat, 03 Sep 2011 12:31:27 +0200 | wenzelm | some support to prune_history; | changeset | files |
| Fri, 02 Sep 2011 16:58:00 -0700 | huffman | merged | changeset | files |
| Fri, 02 Sep 2011 16:57:51 -0700 | huffman | speed up extremely slow metis proof of Sup_real_iff | changeset | files |