2009-12-22 | Christian Urban | tuned | file | diff | annotate |
2009-12-22 | Christian Urban | moved get_fun into quotient_term; this simplifies the overall including structure of the package | file | diff | annotate |
2009-12-19 | Christian Urban | avoided global "open"s - replaced by local "open"s | file | diff | annotate |