| Tue, 22 Dec 2009 21:06:46 +0100 | Christian Urban | moved get_fun into quotient_term; this simplifies the overall including structure of the package | file | diff | annotate |
| Sat, 19 Dec 2009 22:21:51 +0100 | Christian Urban | avoided global "open"s - replaced by local "open"s | file | diff | annotate |