Wed, 02 Oct 2013 10:53:15 +0200 | blanchet | tuned command descriptions | changeset | files |
Wed, 02 Oct 2013 10:39:01 +0200 | blanchet | strengthen tactic w.r.t. let | changeset | files |
Wed, 02 Oct 2013 10:34:13 +0200 | blanchet | minor doc fix (there is no guarantee that the equations for a given f_i are contiguous in the collection) | changeset | files |