2010-11-05 | Christian Grothoff | add API to test for plugin's existence | blob | commitdiff | raw |
2009-09-25 | Christian Grothoff | improving style and docs | blob | commitdiff | raw | diff to current |
2009-05-29 | Christian Grothoff | ng | blob | commitdiff | raw | diff to current |