| 2009-12-17 | Christian Urban | moved the QuotMain code into two ML-files | file | diff | annotate |
| 2009-12-15 | Cezary Kaliszyk | lambda_prs & solve_quotient_assum cleaned. | file | diff | annotate |
| 2009-12-15 | Christian Urban | some commenting | file | diff | annotate |
| 2009-12-14 | Cezary Kaliszyk | Fixed previous commit. | file | diff | annotate |
| 2009-12-14 | Cezary Kaliszyk | Moved DETERM inside Repeat & added SOLVE around quotient_tac. | file | diff | annotate |
| 2009-12-14 | Cezary Kaliszyk | reply to question in code | file | diff | annotate |
| 2009-12-14 | Cezary Kaliszyk | Reply in code. | file | diff | annotate |
| 2009-12-13 | Christian Urban | a few code annotations | file | diff | annotate |