| Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | be less forceful about ":lt" to make infinite loops less likely (could still fail with mutually recursive tail rec functions) | changeset | files |
| Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | print a hint | changeset | files |
| Tue, 27 Mar 2012 16:59:13 +0300 | blanchet | avoid DL | changeset | files |