| 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 |
| Thu, 16 Jul 2015 12:23:22 +0200 | traytel | {r,e,d,f}tac with proper context in BNF | changeset | files |
| Thu, 16 Jul 2015 10:48:20 +0200 | hoelzl | move disjoint sets to their own theory | changeset | files |