| Thu, 13 Mar 2014 12:28:35 +0100 | wenzelm | minor tuning -- NB: props are usually empty for global facts; | changeset | files |
| Thu, 13 Mar 2014 12:09:43 +0100 | wenzelm | even smarter Path.smart_implode; | changeset | files |
| Thu, 13 Mar 2014 11:34:05 +0100 | wenzelm | added ML antiquotation @{path}; | changeset | files |
| Thu, 13 Mar 2014 10:34:48 +0100 | wenzelm | clarified Path.smart_implode; | changeset | files |
| Fri, 14 Mar 2014 09:09:33 -0700 | huffman | generalization of differential_zero_maxmin to class real_normed_vector | changeset | files |
| Fri, 14 Mar 2014 12:09:51 +0100 | blanchet | delayed construction of command (and of noncommercial check) + tuning | changeset | files |
| Fri, 14 Mar 2014 11:52:03 +0100 | blanchet | tuning | changeset | files |