| Mon, 25 Oct 2010 10:30:46 +0200 | blanchet | introduced manual version of "Auto Solve" as "solve_direct" | file | diff | annotate |
| Fri, 01 Oct 2010 17:06:49 +0200 | haftmann | moved ML_Context.value to Code_Runtime | file | diff | annotate |
| Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | adjusted setup | file | diff | annotate |