| Thu, 16 Jul 2015 17:25:44 +0200 | blanchet | generalized limitation in documentation | changeset | files |
| Thu, 16 Jul 2015 17:25:44 +0200 | blanchet | made tactic more robust w.r.t. equations containing 'case_prod' | changeset | files |
| Thu, 16 Jul 2015 17:02:07 +0200 | wenzelm | merged | changeset | files |
| Thu, 16 Jul 2015 16:32:37 +0200 | wenzelm | merged | changeset | files |
| Thu, 16 Jul 2015 16:30:43 +0200 | wenzelm | clarified boundary cases of completion; | changeset | files |
| Thu, 16 Jul 2015 14:40:23 +0200 | wenzelm | additional ML parse tree components for Poly/ML 5.5.3, or later; | changeset | files |
| Thu, 16 Jul 2015 11:38:18 +0200 | wenzelm | added option ML_debugger; | changeset | files |
| Thu, 16 Jul 2015 11:10:57 +0200 | wenzelm | ML debugger interface; | changeset | files |